On projection in CAD-based quantifier elimination with equational constraint

Authors:
Scott McCallum
Affiliations:
Department of Computing, Division of Information and Communication Sciences, Macquaric University, NSW 2109, Australia
Venue:
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Year:
1999

Citing 4
Cited 15

Cylindrical algebraic decomposition I: the basic algorithm

SIAM Journal on Computing
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space

Journal of Symbolic Computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination

Journal of Symbolic Computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages

Improved projection for CAD's of R3

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
On propagation of equational constraints in CAD-based quantifier elimination

Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Improved projection for cylindrical algebraic decomposition

Journal of Symbolic Computation
Local box adjacency algorithms for cylindrical algebraic decompositions

Journal of Symbolic Computation
Interval arithmetic in cylindrical algebraic decomposition

Journal of Symbolic Computation
On using bi-equational constraints in CAD construction

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
On delineability of varieties in CAD-based quantifier elimination with two equational constraints

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Variant real quantifier elimination: algorithm and application

Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Efficient preprocessing methods for quantifier elimination

CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Variant quantifier elimination

Journal of Symbolic Computation
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical Computer Science
Cylindrical algebraic decompositions for boolean combinations

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Optimising problem formulation for cylindrical algebraic decomposition

CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics

Quantified Score

Hi-index	0.00

On projection in CAD-based quantifier elimination with equational constraint

Quantified Score

Visualization

Abstract