A combinatorial algorithm solving some quantifier elimination problems
From MaRDI portal
Cited in
(12)- Analysis and computation with stratified fluid models
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Multiple modes in densities with normal conditionals
- A deductive approach towards reasoning about algebraic transition systems
- Recent advances on determining the number of real roots of parametric polynomials
- Birational properties of the gap subresultant varieties
- An elementary proof of Sylvester's double sums for subresultants
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Lack-of-contact conditions for a penny-shaped crack under a polynomial normal loading
- Automatic computation of the complete root classification for a parametric polynomial
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
This page was built for publication: A combinatorial algorithm solving some quantifier elimination problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4391231)
