Cylindrical algebraic decomposition using local projections
From MaRDI portal
Publication:6487176
DOI10.1145/2608628.2608633zbMATH Open1325.68302MaRDI QIDQ6487176FDOQ6487176
Authors: Adam Strzeboński 
Publication date: 11 November 2015
Recommendations
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
- Title not available (Why is that?)
- On Computable Numbers, with an Application to the Entscheidungsproblem
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Title not available (Why is that?)
- Definability and decision problems in arithmetic
- Cylindrical algebraic decomposition using validated numerics
- The Jordan Curve Theorem, Formally and Informally
Cited In (26)
- Constructing fewer open cells by GCD computation in CAD projection
- How to use cylindrical algebraic decomposition
- Constructing a single open cell in a cylindrical algebraic decomposition
- Need polynomial systems be doubly-exponential?
- Open non-uniform cylindrical algebraic decompositions
- Properness defects and projections and computation of at least one point in each connected component of a real algebraic set
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Local box adjacency algorithms for cylindrical algebraic decompositions
- Constructing a single cell in cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using validated numerics
- Improved projection for cylindrical algebraic decomposition
- Efficient projection orders for CAD
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
- Faster real root decision algorithm for symmetric polynomials
- CAD and topology of semi-algebraic sets
- Computing cylindrical algebraic decomposition via triangular decomposition
- Title not available (Why is that?)
- Truth table invariant cylindrical algebraic decomposition
- Regular cylindrical algebraic decomposition
- Title not available (Why is that?)
- Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
- An incremental algorithm for computing cylindrical algebraic decompositions
- Cylindrical algebraic decomposition using local projections
- A cluster-based cylindrical algebraic decomposition algorithm
- Recent advances in real geometric reasoning
This page was built for publication: Cylindrical algebraic decomposition using local projections
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487176)
