Cylindrical algebraic decomposition. I: The basic algorithm

MaRDI QIDQ4391217zbMATH OpenFDO

Authors Dennis S. Arnon, George E. Collins, Scott McCallum

Publication date 13 September 1998

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Real algebraic and real-analytic geometry (14P99) Symbolic computation and algebraic computation (68W30)

Review text

Reprinted from: SIAM J. Comput. 13, 865-877 (1984; Zbl 0562.14001). For the entire collection see [Zbl 0906.03033].

Cited in

(13)

• Combining logical and algebraic techniques for natural style proving in elementary analysis
• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
• Interval arithmetic in cylindrical algebraic decomposition
• Enhancements to Lazard's method for cylindrical algebraic decomposition
• Constructing a single cell in cylindrical algebraic decomposition
• Exact, efficient, and complete arrangement computation for cubic curves
• Simplification of Cylindrical Algebraic Formulas
• scientific article; zbMATH DE number 3921970 (Why is no real title available?)
• An improvement of the projection operator in cylindrical algebraic decomposition
• scientific article; zbMATH DE number 2012152 (Why is no real title available?)
• On minimal and minimum cylindrical algebraic decompositions
• Further results on minimal and minimum cylindrical algebraic decompositions
• On some exotic cylindrical algebraic decompositions and cells

This page was built for publication: Cylindrical algebraic decomposition. I: The basic algorithm

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