An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space

DOI10.1016/S0747-7171(88)80011-7MaRDI QIDQ1105371zbMATH OpenOpenAlexFDO

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

Publication date 1988

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

Full work available at URL https://doi.org/10.1016/s0747-7171(88)80011-7

zbMATH Keywords

cylindrical algebraic decompositionthree-dimensional Euclidean space

Mathematics Subject Classification ID

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

Review text

The authors present an algorithm that determines the pairs of adjacent cells as it constructs a cylindrical algebraic decomposition of three- dimensional Euclidean space. The algorithm is an extension of the authors' algorithm for the two-dimensional case and does not require coordinate changes.

Recommendations

• scientific article; zbMATH DE number 3921970
• scientific article; zbMATH DE number 1157653
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• Local box adjacency algorithms for cylindrical algebraic decompositions
• An incremental algorithm for computing cylindrical algebraic decompositions
• scientific article; zbMATH DE number 3945340
• A cluster-based cylindrical algebraic decomposition algorithm
• Computing cylindrical algebraic decomposition via triangular decomposition
• scientific article; zbMATH DE number 1157652

Cites work

• A cluster-based cylindrical algebraic decomposition algorithm
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• scientific article; zbMATH DE number 3846864 (Why is no real title available?)
• scientific article; zbMATH DE number 3823145 (Why is no real title available?)
• scientific article; zbMATH DE number 3587733 (Why is no real title available?)
• scientific article; zbMATH DE number 3629097 (Why is no real title available?)
• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• The Calculation of Multivariate Polynomial Resultants

Cited in

(15)

• An efficient algorithm for the stratification and triangulation of an algebraic surface
• On mechanical quantifier elimination for elementary algebra and geometry
• A bibliography of quantifier elimination for real closed fields
• A cluster-based cylindrical algebraic decomposition algorithm
• Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
• Local box adjacency algorithms for cylindrical algebraic decompositions
• On the topology and isotopic meshing of plane algebraic curves
• Special algorithm for stability analysis of multistable biological regulatory systems
• Cell decomposition of almost smooth real algebraic surfaces
• An exact and efficient approach for computing a cell in an arrangement of quadrics
• A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
• scientific article; zbMATH DE number 3921970 (Why is no real title available?)
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• Truth table invariant cylindrical algebraic decomposition
• Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition

This page was built for publication: An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space

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