Variant quantifier elimination
From MaRDI portal
Publication:420753
DOI10.1016/j.jsc.2011.05.014zbMath1238.14001OpenAlexW2072992931WikidataQ57431347 ScholiaQ57431347MaRDI QIDQ420753
Publication date: 23 May 2012
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2011.05.014
Symbolic computation and algebraic computation (68W30) Computational aspects of higher-dimensional varieties (14Q15) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Real algebraic and real-analytic geometry (14P99)
Related Items
Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems, A probabilistic algorithm for computing data-discriminants of likelihood equations, Semidefinite Approximations of Projections and Polynomial Images of SemiAlgebraic Sets, Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation), The saddle point problem of polynomials, Polynomial interrupt timed automata: verification and expressiveness, An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination, On the complexity of the generalized MinRank problem, The complexity of subdivision for diameter-distance tests, Refined F5 Algorithms for Ideals of Minors of Square Matrices, 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, Open weak CAD and its applications, Global optimization of polynomials over real algebraic sets, Quantifier elimination for a class of exponential polynomial formulas, Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials, On exact Reznick, Hilbert-Artin and Putinar's representations, Cylindrical algebraic decomposition using local projections, A Matrix Positivstellensatz with Lifting Polynomials, NIL: learning nonlinear interpolants, Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure, Special algorithm for stability analysis of multistable biological regulatory systems
Uses Software
Cites Work
- A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface
- 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
- On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
- Partial cylindrical algebraic decomposition for quantifier elimination
- Nash triviality in families of Nash manifolds
- Complexity of deciding Tarski algebra
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- Nonlinear control system design by quantifier elimination
- Testing stability by quantifier elimination
- The exact region of stability for MacCormack scheme
- On the geometry of polar varieties
- Cylindrical algebraic decomposition using validated numerics
- Testing sign conditions on a multivariate polynomial and applications
- Variant real quantifier elimination
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes
- Computing Roadmaps of General Semi-Algebraic Sets
- A Singular Introduction to Commutative Algebra
- Initial boundary value problems for incompletely parabolic systems
- On the combinatorial and algebraic complexity of quantifier elimination
- Computing roadmaps of semi-algebraic sets on a variety
- QEPCAD B
- High-Resolution Conservative Algorithms for Advection in Incompressible Flow
- Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
- Systems of conservation laws
- Algorithms in real algebraic geometry
- A Gröbner free alternative for polynomial system solving
- Improved projection for cylindrical algebraic decomposition
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
