A cluster-based cylindrical algebraic decomposition algorithm

DOI10.1016/S0747-7171(88)80012-9zbMath0648.68056MaRDI QIDQ1105372

Dennis S. Arnon

Publication date: 1988

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

cylindrical algebraic decompositionclusters of cells

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Projective techniques in algebraic geometry (14N05) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Software, source code, etc. for problems pertaining to field theory (12-04)

Related Items

Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), On mechanical quantifier elimination for elementary algebra and geometry, A bibliography of quantifier elimination for real closed fields, An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space, A polynomial-time algorithm for the topological type of real algebraic curve, Partial cylindrical algebraic decomposition for quantifier elimination, Testing elementary function identities using CAD, Two-view ``cylindrical decomposition of binary images, Truth table invariant cylindrical algebraic decomposition, An efficient algorithm for the stratification and triangulation of an algebraic surface, Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition, Local box adjacency algorithms for cylindrical algebraic decompositions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• Geometric reasoning with logic and algebra
• On mechanical quantifier elimination for elementary algebra and geometry
• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• Cylindrical Algebraic Decomposition I: The Basic Algorithm