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

DOI10.1016/S0747-7171(88)80011-7zbMath0648.68055OpenAlexW2051590150MaRDI QIDQ1105371

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

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

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

On mechanical quantifier elimination for elementary algebra and geometry, A bibliography of quantifier elimination for real closed fields, Cell decomposition of almost smooth real algebraic surfaces, On the topology and isotopic meshing of plane algebraic curves, Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition, A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms, 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, An exact and efficient approach for computing a cell in an arrangement of quadrics, Special algorithm for stability analysis of multistable biological regulatory systems, Local box adjacency algorithms for cylindrical algebraic decompositions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
• An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
• A cluster-based cylindrical algebraic decomposition algorithm
• On Approximations and Incidence in Cylindrical Algebraic Decompositions
• Cylindrical Algebraic Decomposition I: The Basic Algorithm
• The Calculation of Multivariate Polynomial Resultants