CAD Adjacency Computation Using Validated Numerics

DOI10.1145/3087604.3087641zbMath1458.14067arXiv1704.06856OpenAlexW2607708068MaRDI QIDQ5119969

Adam Wojciech Strzeboński

Publication date: 9 September 2020

Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1704.06856

zbMATH Keywords

connected componentscylindrical algebraic decompositiontopology of semialgebraic setscell adjacency

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Related Items (2)

Computing with Tarski formulas and semi-algebraic sets in a web browser ⋮ Application of quantifier elimination to inverse buckling problems

This page was built for publication: CAD Adjacency Computation Using Validated Numerics