Improved projection for CAD's of R3

Authors:
Christopher W. Brown
Affiliations:
Computer Science Department, Stop 9F, United States Naval Academy, 572C Holloway Road, Annapolis, MD
Venue:
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Year:
2000

Citing 6
Cited 2

An improved projection operation for cylindrical algebraic decomposition of three-dimensional space

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
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
On projection in CAD-based quantifier elimination with equational constraint

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition

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

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

Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination

Theoretical Computer Science

Quantified Score

Hi-index	0.02

Visualization

Abstract

This paper presents an improved projection operator for the construction of CAD's of R3. It is shown that, typically, it suffices to include in projection only leading coefficients (along with discriminants and resultants) rather than all coefficients. Cases in which the leading coefficient alone does not suffice can be dealt with, in a sense, even more efficiently. Generalizing the improved projection operator to dimension greater than three is a topic of ongoing research.