Quantifier Elimination and Cylindrical Algebraic Decomposition

By Bob F. Caviness, Jeremy R. Johnson. Texts and Monographs in Symbolic Computation, 2004

519 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Theoretical Computer Science

View Paper: https://www.semanticscholar.org/paper/68b8635eebedaf1b2c17b79744b2c54297e75340

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Christopher W. Brown

In Computational Theory and Mathematics

1. Christopher W. Brown
2. Dejan Jovanovic
3. Leonardo de Moura

In Theoretical Computer Science

1. Christopher W. Brown

Citations in the corpus

• Solving non-linear arithmetic (2012, unknown): “Due to the lack of space and the volume of algorithms and concepts involved, we concentrate on the details of the decision procedure in this paper and refer the reader to the existing literature for further information [8,9,10,27,3].”
• QEPCAD B: a program for computing with semi-algebraic sets using CADs (2003, background): “A more complete description of these topics may be found in, for example, [18], [11] or [9].”