Variant quantifier elimination
From MaRDI portal
Recommendations
Cites work
- A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface
- A Gröbner free alternative for polynomial system solving
- A new efficient algorithm for computing Gröbner bases (F₄)
- A Singular Introduction to Commutative Algebra
- Algorithms in real algebraic geometry
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes
- Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
- Complexity of deciding Tarski algebra
- Computing Roadmaps of General Semi-Algebraic Sets
- Computing roadmaps of semi-algebraic sets on a variety
- Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers
- Convergence of the solutions of the compressible to the solutions of the incompressible Navier-Stokes equations
- Cylindrical algebraic decomposition using validated numerics
- Generalized polar varieties and an efficient real elimination.
- High-Resolution Conservative Algorithms for Advection in Incompressible Flow
- scientific article; zbMATH DE number 1189070 (Why is no real title available?)
- scientific article; zbMATH DE number 3685447 (Why is no real title available?)
- scientific article; zbMATH DE number 3759547 (Why is no real title available?)
- scientific article; zbMATH DE number 3563286 (Why is no real title available?)
- scientific article; zbMATH DE number 1263359 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 1157648 (Why is no real title available?)
- scientific article; zbMATH DE number 1794361 (Why is no real title available?)
- scientific article; zbMATH DE number 2151204 (Why is no real title available?)
- scientific article; zbMATH DE number 2151220 (Why is no real title available?)
- scientific article; zbMATH DE number 3279238 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Improved projection for cylindrical algebraic decomposition
- Initial boundary value problems for incompletely parabolic systems
- Nash triviality in families of Nash manifolds
- Nonlinear control system design by quantifier elimination
- On the combinatorial and algebraic complexity of quantifier elimination
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- On the geometry of polar varieties
- Partial cylindrical algebraic decomposition for quantifier elimination
- QEPCAD B
- Systems of conservation laws
- Testing sign conditions on a multivariate polynomial and applications
- Testing stability by quantifier elimination
- The exact region of stability for MacCormack scheme
- Variant real quantifier elimination: algorithm and application
Cited in
(34)- Open weak CAD and its applications
- Global optimization of polynomials over real algebraic sets
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials
- On exact Reznick, Hilbert-Artin and Putinar's representations
- Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
- Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems
- The saddle point problem of polynomials
- The complexity of subdivision for diameter-distance tests
- NIL: learning nonlinear interpolants
- Special algorithm for stability analysis of multistable biological regulatory systems
- Curves testing boundedness of polynomials on subsets of the real plane
- On a hybrid analytical-experimental technique to assess the storage modulus of resilient materials using symbolic computation
- The role of quantifier alternations in cut elimination
- A probabilistic algorithm for computing data-discriminants of likelihood equations
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Polynomial interrupt timed automata: verification and expressiveness
- Variant real quantifier elimination: algorithm and application
- Semidefinite approximations of projections and polynomial images of semialgebraic sets
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- On the complexity of the generalized MinRank problem
- The Monotonous Elimination of Predicate Variables
- Quantifier elimination for a class of exponential polynomial formulas
- A matrix Positivstellensatz with lifting polynomials
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- Cylindrical algebraic decomposition using local projections
- Refined F5 Algorithms for Ideals of Minors of Square Matrices
- Faster one block quantifier elimination for regular polynomial systems of equations
- Choosing the variable ordering for cylindrical algebraic decomposition via exploiting chordal structure
- Jacobi stability analysis for systems of ODEs with symbolic computation
- All saddle points for polynomial optimization
- On the arithmetic complexity of computing Gröbner bases of comaximal determinantal ideals
- Jacobi stability analysis for systems of ODEs using symbolic computation
- Solving parametric linear matrix inequalities
- Better answers to real questions
This page was built for publication: Variant quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q420753)
