Constructing a single cell in cylindrical algebraic decomposition

DOI10.1016/j.jsc.2014.09.024zbMath1314.68414OpenAlexW2010429995MaRDI QIDQ2343239

Marek Košta, Christopher W. Brown

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

cylindrical algebraic decompositionprojection operatorpolynomial constraints

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Interpolation and model checking for nonlinear arithmetic, Modular strategic SMT solving with \textbf{SMT-RAT}, Levelwise construction of a single cylindrical algebraic cell, Adapting Real Quantifier Elimination Methods for Conflict Set Computation, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Using machine learning to improve cylindrical algebraic decomposition

Uses Software

• QEPCAD

Cites Work

• Unnamed Item
• Unnamed Item
• On using Lazard's projection in CAD construction
• Partial cylindrical algebraic decomposition for quantifier elimination
• Solving Non-linear Arithmetic
• Constructing a single open cell in a cylindrical algebraic decomposition
• Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
• Improved projection for cylindrical algebraic decomposition