Constructing a single open cell in a cylindrical algebraic decomposition
From MaRDI portal
Recommendations
- Constructing a single cell in cylindrical algebraic decomposition
- Open non-uniform cylindrical algebraic decompositions
- Cylindrical algebraic decomposition using local projections
- Cylindrical algebraic decomposition using local projections
- Constructing fewer open cells by GCD computation in CAD projection
Cited in
(15)- Open weak CAD and its applications
- Cylindrical algebraic decomposition with equational constraints
- Constructing a single cell in cylindrical algebraic decomposition
- Special algorithm for stability analysis of multistable biological regulatory systems
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Need polynomial systems be doubly-exponential?
- Open non-uniform cylindrical algebraic decompositions
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- Recent advances in real geometric reasoning
- Cylindrical algebraic sub-decompositions
- Computing linear extensions for polynomial posets subject to algebraic constraints
- Truth table invariant cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
- Levelwise construction of a single cylindrical algebraic cell
This page was built for publication: Constructing a single open cell in a cylindrical algebraic decomposition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2963226)
