Cylindrical Algebraic Decomposition I: The Basic Algorithm
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3921970
- Local box adjacency algorithms for cylindrical algebraic decompositions
- scientific article; zbMATH DE number 3945340
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- A cluster-based cylindrical algebraic decomposition algorithm
Cited in
(88)- Solution to the generalized champagne problem on simultaneous stabilization of linear systems
- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- Validity proof of Lazard's method for CAD construction
- Multiphase until formulas over Markov reward models: an algebraic approach
- An algorithm for generalized point location and its applications
- A refutational approach to geometry theorem proving
- Parallel computation of real solving bivariate polynomial systems by zero-matching method
- Pole assignment by output feedback using cylindrical algebraic decomposition
- Some aspects of complexity in real algebraic geometry
- Computational issues in solid boundary evaluation
- An efficient algorithm for the stratification and triangulation of an algebraic surface
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Boundary evaluation algorithms for Minkowski combinations of complex sets using topological analysis of implicit curves
- Using machine learning to improve cylindrical algebraic decomposition
- An algebraic method to calculate parameter regions for constrained steady-state distribution in stochastic reaction networks
- A bibliography of quantifier elimination for real closed fields
- Wu's method and its application to perspective viewing
- The complexity of dominating set in geometric intersection graphs
- An exact and efficient approach for computing a cell in an arrangement of quadrics
- Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions
- Geometry and topology of parameter space: Investigating measures of robustness in regulatory networks
- Need polynomial systems be doubly-exponential?
- An efficient method for analyzing the topology of plane real algebraic curves.
- An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- A multi-level geometric reasoning system for vision
- Evaluating the boundary and covering degree of planar Minkowski sums and other geometrical convolutions
- Partial cylindrical algebraic decomposition for quantifier elimination
- Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
- Combinatorial complexity bounds for arrangements of curves and spheres
- A singly exponential stratification scheme for real semi-algebraic varieties and its applications
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- On Approximations and Incidence in Cylindrical Algebraic Decompositions
- Complete numerical isolation of real roots in zero-dimensional triangular systems
- A polynomial-time algorithm for the topological type of real algebraic curve
- Algebraic decomposition of regular curves
- On pole assignment of linear systems by gain output feedback
- Proving inequalities and solving global optimization problems via simplified CAD projection
- A new algorithm for proving global asymptotic stability of rational difference equations
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Computing with Tarski formulas and semi-algebraic sets in a web browser
- Upper bounds for the Hausdorff dimension and stratification of an invariant set of an evolution system on a Hilbert manifold
- VIRAS: conflict-driven quantifier elimination for integer-real arithmetic
- Identifying the parametric occurrence of multiple steady states for some biological networks
- A computational method for determining strong stabilizability of \(n\)-D systems
- Local box adjacency algorithms for cylindrical algebraic decompositions
- Determination of the tangents for a real plane algebraic curve
- Improved projection for cylindrical algebraic decomposition
- A geometric approach to cylindrical algebraic decomposition
- Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- Algorithmic global criteria for excluding oscillations
- Polygonization of implicit surfaces
- Symbolic reachability computation for families of linear vector fields
- A generic and flexible framework for the geometrical and topological analysis of (algebraic) surfaces
- Analyzing ultimate positivity for solvable systems
- On the topology and isotopic meshing of plane algebraic curves
- Geometric reasoning with logic and algebra
- Subresultant of Bernstein polynomials and its application in computing the parametric greatest common divisor
- Conormal spaces and Whitney stratifications
- Cylindrical algebraic sub-decompositions
- Quantifier elimination for a class of exponential polynomial formulas
- On mechanical quantifier elimination for elementary algebra and geometry
- Finding the topology of implicitly defined two algebraic plane curves
- An approximate characterisation of the set of feasible trajectories for constrained flat systems
- Computer algebra: Past and future
- Maxwell's conjecture on three point charges with equal magnitudes
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Truth table invariant cylindrical algebraic decomposition
- Subresultants of several univariate polynomials in Newton basis
- Regular cylindrical algebraic decomposition
- On using Lazard's projection in CAD construction
- Computing the irreducible real factors and components of an algebraic curve
- On the topology of real algebraic plane curves
- Two Variants of Bézout Subresultants for Several Univariate Polynomials
- The computation of polynomial greatest common divisors over an algebraic number field
- Examples of using dynamic constructible closure.
- Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
- Two-view ``cylindrical decomposition of binary images
- Accelerating parameter synthesis using semi-algebraic constraints
- Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
- Parallel algorithms for arrangements
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition
- scientific article; zbMATH DE number 3921970 (Why is no real title available?)
- scientific article; zbMATH DE number 3945340 (Why is no real title available?)
- Constructive algebra methods for the \(L_ 2\)-problem for stable linear systems
- A cluster-based cylindrical algebraic decomposition algorithm
This page was built for publication: Cylindrical Algebraic Decomposition I: The Basic Algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5187396)
