A cluster-based cylindrical algebraic decomposition algorithm

DOI10.1016/S0747-7171(88)80012-9MaRDI QIDQ1105372zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3945340
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• scientific article; zbMATH DE number 3921970
• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
• Cylindrical algebraic decomposition using local projections

Cites work

• scientific article; zbMATH DE number 3920595 (Why is no real title available?)
• scientific article; zbMATH DE number 3739299 (Why is no real title available?)
• scientific article; zbMATH DE number 3771547 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 3629097 (Why is no real title available?)
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Geometric reasoning with logic and algebra
• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• On mechanical quantifier elimination for elementary algebra and geometry
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds

Cited in

(15)

• An efficient algorithm for the stratification and triangulation of an algebraic surface
• A bibliography of quantifier elimination for real closed fields
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
• Partial cylindrical algebraic decomposition for quantifier elimination
• A polynomial-time algorithm for the topological type of real algebraic curve
• Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
• Local box adjacency algorithms for cylindrical algebraic decompositions
• On mechanical quantifier elimination for elementary algebra and geometry
• Truth table invariant cylindrical algebraic decomposition
• Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
• Two-view ``cylindrical decomposition of binary images
• Testing elementary function identities using CAD
• scientific article; zbMATH DE number 3921970 (Why is no real title available?)
• scientific article; zbMATH DE number 3945340 (Why is no real title available?)

This page was built for publication: A cluster-based cylindrical algebraic decomposition algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1105372)