Merging adjacent cells during single cell construction

DOI10.1007/978-3-031-69070-9_15MaRDI QIDQ6660335

Erika Ábrahám, Jasper Nalbach

Publication date: 10 January 2025

zbMATH Keywords

cylindrical algebraic decompositionsatisfiability checkingreal algebraone-cell construction

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
• Constructing a single cell in cylindrical algebraic decomposition
• CAD Adjacency Computation Using Validated Numerics
• Improved projection for cylindrical algebraic decomposition
• Levelwise construction of a single cylindrical algebraic cell
• Title not available (Why is that?)

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)