scientific article; zbMATH DE number 1302474
From MaRDI portal
Publication:4247790
zbMATH Open0934.68130MaRDI QIDQ4247790FDOQ4247790
Authors: Andreas Dolzmann, Thomas Sturm, Volker Weispfenning 
Publication date: 31 August 1999
Title of this publication is not available (Why is that?)
Recommendations
- Real quantifier elimination in the RegularChains library
- scientific article; zbMATH DE number 4008374
- Real quantifier elimination is doubly exponential
- Variant real quantifier elimination: algorithm and application
- OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION
- Quantifier elimination for the reals with a predicate for the powers of two
- scientific article; zbMATH DE number 1794361
- Relational Methods in Computer Science
- scientific article; zbMATH DE number 4039866
- Quantifier elimination for quasi-real closed fields
polynomial rootsquantifier eliminationcylindrical decompositionREDLOGGröbner basisvirtual substitution of test terms
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Software, source code, etc. for problems pertaining to commutative algebra (13-04)
Cited In (51)
- On the complexity of quantified linear systems
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- Quantifier elimination on real closed fields and differential equations
- Parametric toricity of steady state varieties of reaction networks
- Virtual substitution for SMT-solving
- Better answers to real questions
- Adapting real quantifier elimination methods for conflict set computation
- Title not available (Why is that?)
- A bibliography of quantifier elimination for real closed fields
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Efficient subformula orders for real quantifier elimination of non-prenex formulas
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- On quantified linear implications
- Extending a Resolution Prover for Inequalities on Elementary Functions
- Efficient Preprocessing Methods for Quantifier Elimination
- On solving parametric polynomial systems
- Algorithmic reduction of biological networks with multiple time scales
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- Computing with Tarski formulas and semi-algebraic sets in a web browser
- Real quantifier elimination in the RegularChains library
- Proving inequalities and solving global optimization problems via simplified CAD projection
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- MetiTarski: An automatic theorem prover for real-valued special functions
- An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification
- New Domains for Applied Quantifier Elimination
- Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation)
- Algorithmic global criteria for excluding oscillations
- Quantifier elimination: Optimal solution for two classical examples
- Combining logical and algebraic techniques for natural style proving in elementary analysis
- Quantifier Elimination for Quartics
- Title not available (Why is that?)
- Verification and synthesis using real quantifier elimination
- MetiTarski: An Automatic Prover for the Elementary Functions
- Quantifier-free encoding of invariants for hybrid systems
- Combining Isabelle and QEPCAD-B in the Prover’s Palette
- On generalizing Descartes' rule of signs to hypersurfaces
- A complexity perspective on entailment of parameterized linear constraints
- Linear problems in valued fields
- Timed Basic Parallel Processes
- Variant real quantifier elimination: algorithm and application
- New techniques for linear arithmetic: cubes and equalities
- Verifying Mixed Real-Integer Quantifier Elimination
- Local quantifier elimination
- Weak quantifier elimination for the full linear theory of the integers
- Real quantifier elimination is doubly exponential
- Analyzing restricted fragments of the theory of linear arithmetic
- Cylindrical algebraic decomposition using local projections
- Variant quantifier elimination
- Recent advances in real geometric reasoning
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247790)
