Constructing a single cell in cylindrical algebraic decomposition

DOI10.1016/J.JSC.2014.09.024MaRDI QIDQ2343239zbMATH OpenOpenAlexFDO

Authors Christopher W. Brown, Marek Košta

Publication date 4 May 2015

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2014.09.024

zbMATH Keywords

projection operatorcylindrical algebraic decompositionpolynomial constraints

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Constructing a single open cell in a cylindrical algebraic decomposition
• A cellular algebra with specific decomposition of the unity
• A Matrix Construction of Cellular Algebras
• Regular cylindrical algebraic decomposition
• scientific article; zbMATH DE number 1157652
• Cylindrical algebraic sub-decompositions
• Cylindrical algebraic decomposition with equational constraints
• scientific article; zbMATH DE number 3880114
• Cylindrical algebraic decomposition using local projections
• Cylindrical algebraic decomposition using local projections

Cites work

• scientific article; zbMATH DE number 1157655 (Why is no real title available?)
• scientific article; zbMATH DE number 1157658 (Why is no real title available?)
• Constructing a single open cell in a cylindrical algebraic decomposition
• Improved projection for cylindrical algebraic decomposition
• On using Lazard's projection in CAD construction
• Partial cylindrical algebraic decomposition for quantifier elimination
• Solving non-linear arithmetic
• Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Cited in

(10)

• Adapting real quantifier elimination methods for conflict set computation
• Levelwise construction of a single cylindrical algebraic cell
• Using machine learning to improve cylindrical algebraic decomposition
• Interpolation and model checking for nonlinear arithmetic
• Constructing a single open cell in a cylindrical algebraic decomposition
• Local search for solving satisfiability of polynomial formulas
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• Modular strategic SMT solving with \textbf{SMT-RAT}
• Merging adjacent cells during single cell construction
• An incremental algorithm for computing cylindrical algebraic decompositions

Describes a project that uses

Uses Software

• QEPCAD

This page was built for publication: Constructing a single cell in cylindrical algebraic decomposition

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