CAD and topology of semi-algebraic sets
From MaRDI portal
Publication:626978
DOI10.1007/s11786-010-0047-0zbMath1205.14073MaRDI QIDQ626978
Publication date: 19 February 2011
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-010-0047-0
cylindrical algebraic decomposition; CAD; computation with real algebraic numbers; real solving of polynomial systems; topology of a semi-algebraic set
14P10: Semialgebraic sets and related spaces
Related Items
Regular cylindrical algebraic decomposition, Validity proof of Lazard's method for CAD construction, On the topology and isotopic meshing of plane algebraic curves, Triangulations of monotone families I: two-dimensional families
Cites Work
- On the Piano Movers problem. II: General techniques for computing topological properties of real algebraic manifolds
- Solving zero-dimensional algebraic systems
- Efficient computation of zero-dimensional Gröbner bases by change of ordering
- On the theories of triangular sets
- Solving parametric polynomial systems
- Cylindrical algebraic decomposition using validated numerics
- Computing cylindrical algebraic decomposition via triangular decomposition
- Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems
- On using bi-equational constraints in CAD construction
- Planning Algorithms
- Algorithms in real algebraic geometry
- Improved projection for cylindrical algebraic decomposition
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item