Merging adjacent cells during single cell construction

DOI10.1007/978-3-031-69070-9_15MaRDI QIDQ6660335zbMATH OpenFDO

Authors Jasper Nalbach, Erika Ábrahám

Publication date 10 January 2025

Full work available at URL https://doi.org/10.1007/978-3-031-69070-9_15

zbMATH Keywords

satisfiability checkingcylindrical algebraic decompositionreal algebraone-cell construction

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites work

• scientific article; zbMATH DE number 1157658 (Why is no real title available?)
• CAD Adjacency Computation Using Validated Numerics
• Constructing a single cell in cylindrical algebraic decomposition
• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
• Improved projection for cylindrical algebraic decomposition
• Levelwise construction of a single cylindrical algebraic cell

Cited in

(1)

• More is less: adding polynomials for faster explanations in NLSAT

This page was built for publication: Merging adjacent cells during single cell construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6660335)