Variant quantifier elimination

DOI10.1016/j.jsc.2011.05.014zbMath1238.14001OpenAlexW2072992931WikidataQ57431347 ScholiaQ57431347MaRDI QIDQ420753

Mohab Safey El Din, Hoon Hong

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

zbMATH Keywords

stability analysisquantifier eliminationcomputational real algebraic geometry

Mathematics Subject Classification ID

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 (23)

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

• FGb
• Kronecker
• Maple
• QEPCAD
• RAGlib
• SINGULAR
• SYNRAC

Cites Work

• 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
• 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

This page was built for publication: Variant quantifier elimination