# Analytica

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- 2015

In this paper, I argue that the recent discussion on the time-reversal invariance of classical electrodynamics (see (Albert 2000â€¦Â (More)

Is this relevant?

2015

2015

- IEEE Communications Letters
- 2015

The idea of in-band full-duplex (FD) communications has been revived in recent years owing to the significant progress in theâ€¦Â (More)

Is this relevant?

2013

2013

- IEEE Communications Letters
- 2013

An exponential-type approximation of the first order Marcum Q-function is presented, which is robust to changes in its firstâ€¦Â (More)

Is this relevant?

2012

2012

- ArXiv
- 2012

This paper presents a novel approach to the robust design of deflection actions for Near Earth Objects (NEO). In particular, theâ€¦Â (More)

Is this relevant?

2010

2010

- 2010

The use of fully polarimetric SAR (Synthetic Aperture Radar) in two layer surface probing can reveal facts about the regolithâ€¦Â (More)

Is this relevant?

2006

2006

- Fortieth Asilomar Conference on Signals, Systemsâ€¦
- 2006

We study the MIMO broadcast channel and compare the achievable throughput for the optimal strategy of dirty paper coding to thatâ€¦Â (More)

Is this relevant?

2003

2003

- 2003

The Analytica system is a theorem proving system for 19 century mathematics written on top of the Mathematica computer algebraâ€¦Â (More)

Is this relevant?

2003

2003

- Complexity
- 2003

The magnification behavior of a generalized family of self-organizing feature maps, the winner relaxing and winner enhancingâ€¦Â (More)

Is this relevant?

1992

1992

- Journal of Automated Reasoning
- 1992

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in the Mathematica languageâ€¦Â (More)

Is this relevant?

1992

1992

- CADE
- 1992

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language andâ€¦Â (More)

Is this relevant?