Local box adjacency algorithms for cylindrical algebraic decompositions

Journal of Symbolic Computation

Volumn 33, Issue 3, 2002, Pages 321-342

  McCallum, Scott ^a   Collins, George E ^b  

^a MACQUARIE UNIVERSITY   (Australia)

^b University of Delaware   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036187005     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.2001.0499     Document Type: Article

References (12)

1. A cluster-based cylindrical algebraic decomposition algorithm
2. Cylindrical algebraic decomposition I: The basic algorithm
3. Cylindrical algebraic decomposition II: An adjacency algorithm for the plane
4. An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space
5. The calculation of multivariate polynomial resultants
6. Adjacency algorithms for cylindrical algebraic decompositions of three and higher dimensional space I: Adjacencies over a non-nullifying {0, 1} adjacency
7. An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
8. A computer algebra approach to path finding in the plane
9. An improved projection operation for cylindrical algebraic decomposition
10. On projection in CAD-based quantifier elimination with equational constraint
11. On the 'piano movers' problem II. General techniques for computing topological properties of real algebraic manifolds