A cluster-based cylindrical algebraic decomposition algorithm
From MaRDI portal
Publication:1105372
DOI10.1016/S0747-7171(88)80012-9zbMATH Open0648.68056MaRDI QIDQ1105372FDOQ1105372
Authors: Dennis S. Arnon 
Publication date: 1988
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 3945340
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- scientific article; zbMATH DE number 3921970
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- Cylindrical algebraic decomposition using local projections
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- 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
- Title not available (Why is that?)
- On Approximations and Incidence in Cylindrical Algebraic Decompositions
- Title not available (Why is that?)
Cited In (15)
- An efficient algorithm for the stratification and triangulation of an algebraic surface
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- A bibliography of quantifier elimination for real closed fields
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- Partial cylindrical algebraic decomposition for quantifier elimination
- A polynomial-time algorithm for the topological type of real algebraic curve
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Local box adjacency algorithms for cylindrical algebraic decompositions
- On mechanical quantifier elimination for elementary algebra and geometry
- Truth table invariant cylindrical algebraic decomposition
- Two-view ``cylindrical decomposition of binary images
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Title not available (Why is that?)
- Title not available (Why is that?)
- Testing elementary function identities using CAD
This page was built for publication: A cluster-based cylindrical algebraic decomposition algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1105372)
