The complexity of linear problems in fields
Journal of Symbolic Computation
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
Journal of Symbolic Computation
Quantifier elimination: Optimal solution for two classical examples
Journal of Symbolic Computation
An improvement of the projection operator in cylindrical algebraic decomposition
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Quantifier elimination for real algebra—the cubic case
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
REDLOG: computer algebra meets computer logic
ACM SIGSAM Bulletin
Simplification of quantifier-free formulae over ordered fields
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simplification of truth-invariant cylindrical algebraic decompositions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Problem #9: an ellipse problem
ACM SIGSAM Bulletin
Mathematics and Computers in Simulation
New domains for applied quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Hi-index | 0.00 |
We introduce local quantifier elimination as a new variant of real quantifier elimination. Given a first-order formula and a real point we compute a quantifier-free formula which is not only for the given point equivalent to the input formula but also for all points in a semi-algebraic set containing the specified point. The description of this semi-algebraic set is explicitly computed in the form of a conjunction of atomic formulas. Local quantifier elimination is in its application area superior to both regular and generic quantifier elimination due to faster running times and shorter results.