CAD and topology of semi-algebraic sets

DOI10.1007/S11786-010-0047-0zbMath1205.14073OpenAlexW1990275725MaRDI QIDQ626978

Daniel Lazard

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

zbMATH Keywords

cylindrical algebraic decompositionCADcomputation with real algebraic numbersreal solving of polynomial systemstopology of a semi-algebraic set

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10)

Related Items (5)

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 ⋮ Properness defects and projections and computation of at least one point in each connected component of a real algebraic set

Cites Work

• Unnamed Item
• 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
• 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

This page was built for publication: CAD and topology of semi-algebraic sets