A cluster-based cylindrical algebraic decomposition algorithm
From MaRDI portal
Publication:1105372
DOI10.1016/S0747-7171(88)80012-9zbMath0648.68056MaRDI QIDQ1105372
Publication date: 1988
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
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
Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), On mechanical quantifier elimination for elementary algebra and geometry, A bibliography of quantifier elimination for real closed fields, An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space, A polynomial-time algorithm for the topological type of real algebraic curve, Partial cylindrical algebraic decomposition for quantifier elimination, Testing elementary function identities using CAD, Two-view ``cylindrical decomposition of binary images, 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, Local box adjacency algorithms for cylindrical algebraic decompositions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
- Geometric reasoning with logic and algebra
- On mechanical quantifier elimination for elementary algebra and geometry
- On Approximations and Incidence in Cylindrical Algebraic Decompositions
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
