Constructing a single cell in cylindrical algebraic decomposition
From MaRDI portal
Publication:2343239
DOI10.1016/J.JSC.2014.09.024zbMATH Open1314.68414OpenAlexW2010429995MaRDI QIDQ2343239FDOQ2343239
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
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
- Partial cylindrical algebraic decomposition for quantifier elimination
- Solving non-linear arithmetic
- Title not available (Why is that?)
- Improved projection for cylindrical algebraic decomposition
- Constructing a single open cell in a cylindrical algebraic decomposition
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- On using Lazard's projection in CAD construction
- Title not available (Why is that?)
Cited In (10)
- Interpolation and model checking for nonlinear arithmetic
- Adapting real quantifier elimination methods for conflict set computation
- Using machine learning to improve cylindrical algebraic decomposition
- Levelwise construction of a single cylindrical algebraic cell
- Constructing a single open cell in a cylindrical algebraic decomposition
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Merging adjacent cells during single cell construction
- Local search for solving satisfiability of polynomial formulas
- An incremental algorithm for computing cylindrical algebraic decompositions
- Modular strategic SMT solving with \textbf{SMT-RAT}
Uses Software
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)
