Quantifier elimination for real algebra -- the quadratic case and beyond
From MaRDI portal
(Redirected from Publication:677553)
Recommendations
Cited in
(only showing first 100 items - show all)- Generating invariants for non-linear hybrid systems
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Satisfiability checking: theory and applications
- Optimization modulo non-linear arithmetic via incremental linearization
- Parametric toricity of steady state varieties of reaction networks
- Real quantifier elimination in the RegularChains library
- Efficiently and effectively recognizing toricity of steady state varieties
- An empirical analysis of algorithms for partially Clairvoyant scheduling
- Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
- The Lee identities in topoi. I
- Quantifier elimination supported proofs in the numerical treatment of fluid flows
- scientific article; zbMATH DE number 3954881 (Why is no real title available?)
- Computing Hopf bifurcations in chemical reaction networks using reaction coordinates
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Quantifier elimination in automatic loop parallelization
- Fast simplifications for Tarski formulas based on monomial inequalities
- scientific article; zbMATH DE number 4008374 (Why is no real title available?)
- Generating invariants for non-linear loops by linear algebraic methods
- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- Improved Algorithms for Sign Determination and Existential Quantifier Elimination
- Solution formulas for cubic equations without or with constraints
- Algorithmic reduction of biological networks with multiple time scales
- Identifying the parametric occurrence of multiple steady states for some biological networks
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- A logic based approach to finding real singularities of implicit ordinary differential equations
- New Domains for Applied Quantifier Elimination
- Artificial Intelligence and Symbolic Computation
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
- Stability analysis for discrete biological models using algebraic methods
- Combined Decision Techniques for the Existential Theory of the Reals
- scientific article; zbMATH DE number 1421052 (Why is no real title available?)
- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
- Weak Integer Quantifier Elimination Beyond the Linear Case
- Quantifier elimination for the reals with a predicate for the powers of two
- Applying Linear Quantifier Elimination
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
- Local quantifier elimination
- Variant real quantifier elimination: algorithm and application
- Cylindrical algebraic decomposition using local projections
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- CGSQE/SyNRAC: a real quantifier elimination package based on the computation of comprehensive Gröbner systems
- Verification and synthesis using real quantifier elimination
- Algorithmic global criteria for excluding oscillations
- Real quantifier elimination is doubly exponential
- Better answers to real questions
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Template polyhedra and bilinear optimization
- Weak quantifier elimination for the full linear theory of the integers
- Quantified constraints under perturbation
- A Quantifier Elimination Algorithm for Linear Real Arithmetic
- Real quantifier elimination by computation of comprehensive Gröbner systems
- Variant quantifier elimination
- Elementary recursive quantifier elimination based on Thom encoding and sign determination
- On mechanical quantifier elimination for elementary algebra and geometry
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Real World Verification
- A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
- TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
- Simple CAD construction and its applications
- Semilinear motion planning in REDLOG
- Solving nonlinear integer arithmetic with MCSAT
- On a decision procedure for quantified linear programs
- Finding at least one point in each connected component of a real algebraic set defined by a single equation
- Editorial: Symbolic computation and satisfiability checking
- Certified reasoning with infinity
- Quantifier elimination for a class of exponential polynomial formulas
- Computer Science Logic
- Quantifier elimination: Optimal solution for two classical examples
- Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach by D. Nešić and I. M. Y. Mareels
- Adapting real quantifier elimination methods for conflict set computation
- Efficient Preprocessing Methods for Quantifier Elimination
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
- QE software based on comprehensive Gröbner systems
- Quantifier elimination theory and maps which preserve semipositivity
- On real roots counting for non-radical parametric ideals
- Verified Quadratic Virtual Substitution for Real Arithmetic
- An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification
- Quantifier Elimination for Quartics
- Multiple object semilinear motion planning
- Experiments with automated reasoning in the class
- Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators
- Local search for solving satisfiability of polynomial formulas
- Satisfiability modulo finite fields
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity
- Towards fast one-block quantifier elimination through generalised critical values
- Validating numerical semidefinite programming solvers for polynomial invariants
- Fast theorem-proving and Wu's method
- Supporting global numerical optimization of rational functions by generic symbolic convexity tests
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Application of quantifier elimination to inverse buckling problems
- Efficient subformula orders for real quantifier elimination of non-prenex formulas
- The strategy challenge in SMT solving
- A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms
This page was built for publication: Quantifier elimination for real algebra -- the quadratic case and beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q677553)
