An Improved Projection Operation for Cylindrical Algebraic Decomposition

Authors:
Scott McCallum
Affiliations:
-
Venue:
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Year:
1985

Citing 0
Cited 6

Real quantifier elimination is doubly exponential

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
Simplification of truth-invariant cylindrical algebraic decompositions

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
QEPCAD B: a program for computing with semi-algebraic sets using CADs

ACM SIGSAM Bulletin
A repository for CAD examples

ACM Communications in Computer Algebra
Certified rational parametric approximation of real algebraic space curves with local generic position method

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract