An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
From MaRDI portal
Publication:1105371
DOI10.1016/S0747-7171(88)80011-7zbMath0648.68055MaRDI 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
68W30: Symbolic computation and algebraic computation
14N05: Projective techniques in algebraic geometry
14-04: Software, source code, etc. for problems pertaining to algebraic geometry
12-04: Software, source code, etc. for problems pertaining to field theory
Related Items
Truth table invariant cylindrical algebraic decomposition, Optimizing a particular real root of a polynomial by a special cylindrical algebraic decomposition, 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, 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
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
