Applying Linear Quantifier Elimination
From MaRDI portal
Recommendations
- A Quantifier Elimination Algorithm for Linear Real Arithmetic
- Quantifier elimination for real algebra -- the quadratic case and beyond
- An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
- Linear quantifier elimination
- Linear Quantifier Elimination
Cited in
(67)- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Don't care words with an application to the automata-based approach for real addition
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
- Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach
- Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach by D. Nešić and I. M. Y. Mareels
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Linear problems in valued fields
- Quantified constraints under perturbation
- New techniques for linear arithmetic: cubes and equalities
- Solving quantified linear arithmetic by counterexample-guided instantiation
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- Symbolic model checking of timed guarded commands using difference decision diagrams
- Fast theorem-proving and Wu's method
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- On solving quantified bit-vector constraints using invertibility conditions
- Survey on mining signal temporal logic specifications
- Syntax-guided quantifier instantiation
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Solving strong controllability of temporal problems with uncertainty using SMT
- A layered algorithm for quantifier elimination from linear modular constraints
- Out of order quantifier elimination for standard quantified linear programs
- Cylindrical algebraic decomposition using validated numerics
- Quantifier elimination in automatic loop parallelization
- Multiple object semilinear motion planning
- On a decision procedure for quantified linear programs
- A decision procedure for linear ``big O equations
- scientific article; zbMATH DE number 1684364 (Why is no real title available?)
- A survey of satisfiability modulo theory
- Local quantifier elimination
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
- Towards incorporating background theories into quantifier elimination
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Classical numerical methods in engineering: a note on existential quantifier elimination under parametric inequality constraints
- scientific article; zbMATH DE number 1301870 (Why is no real title available?)
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- scientific article; zbMATH DE number 1507955 (Why is no real title available?)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
- SMT solving for functional programming over infinite structures
- SMT-based model checking for recursive programs
- Certified reasoning with infinity
- Computer Algebra in Scientific Computing
- Linear quantifier elimination as an abstract decision procedure
- Improved algorithms for linear complementarity problem arising from collision response
- Cylindrical algebraic decomposition using local projections
- Verification Modulo theories
- Symbolic Model Construction for Saturated Constrained Horn Clauses
- Quantifier elimination and Craig interpolation: the quantitative way
- FMplex: a novel method for solving linear real arithmetic problems
- The QSMA algorithm for quantifiers in SMT
- FMplex: exploring a bridge between Fourier-Motzkin and simplex
- VIRAS: conflict-driven quantifier elimination for integer-real arithmetic
- Linear quantifier elimination
- Quantifier Elimination for Linear Arithmetic
- A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic
- Parametric toricity of steady state varieties of reaction networks
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
- Better answers to real questions
- Weak quantifier elimination for the full linear theory of the integers
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
- Proof synthesis and reflection for linear arithmetic
This page was built for publication: Applying Linear Quantifier Elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3140556)
