CAD and topology of semi-algebraic sets
From MaRDI portal
Publication:626978
DOI10.1007/s11786-010-0047-0zbMath1205.14073OpenAlexW1990275725MaRDI 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 decompositionCADcomputation with real algebraic numbersreal solving of polynomial systemstopology of a semi-algebraic set
Related Items
Triangulations of monotone families I: two-dimensional families, On the topology and isotopic meshing of plane algebraic curves, Regular cylindrical algebraic decomposition, Validity proof of Lazard's method for CAD construction
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
