Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane

MaRDI QIDQ4391218zbMATH 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, 878-889 (1984; Zbl 0562.14001). For the entire collection see [Zbl 0906.03033].

Cited in

(6)

• An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
• Local box adjacency algorithms for cylindrical algebraic decompositions
• Exact, efficient, and complete arrangement computation for cubic curves
• Planar branch decompositions. II: The cycle method
• Cylinders Through Five Points: Computational Algebra and Geometry
• scientific article; zbMATH DE number 3921970 (Why is no real title available?)

This page was built for publication: Cylindrical algebraic decomposition. II: An adjacency algorithm for the plane

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