A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
type: Item
instance of: scholarly article
title: A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
zbMATH Open document ID: 1425.68380
author: Thomas Sturm
published in: Mathematics in Computer Science
publication date: 2018-02-27T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 14P05
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 92C37
Mathematics Subject Classification ID: 92E20
zbMATH DE Number: 6843901
zbMATH Keywords: real quantifier elimination and decision
zbMATH Keywords: satisfiability
zbMATH Keywords: virtual substitution
zbMATH Keywords: subtropical methods
zbMATH Keywords: real geometry
zbMATH Keywords: verification
zbMATH Keywords: reaction systems
zbMATH Keywords: stability analysis
describes a project that uses: QEPCAD
describes a project that uses: REDLOG
MaRDI profile type: Publication
full work available at URL: s11786-017-0319-z
OpenAlex ID: W2608023254
Wikidata QID: Q59529055
cites work: Basic principles of mechanical theorem proving in elementary geometries
cites work: On the combinatorial and algebraic complexity of quantifier elimination
cites work: On Proving the Absence of Oscillations in Models of Genetic Circuits
cites work: Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
cites work: Efficient Preprocessing Methods for Quantifier Elimination
cites work: QEPCAD B
cites work: Constructing a single cell in cylindrical algebraic decomposition
cites work: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
cites work: Q3994509
cites work: Mathematical model of the cell division cycle of fission yeast
cites work: Applying Linear Quantifier Elimination
cites work: Q4391213
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Real quantifier elimination is doubly exponential
cites work: Testing stability by quantifier elimination
cites work: On the application of Buchberger's algorithm to automated geometry theorem proving
cites work: A new approach for automatic theorem proving in real geometry
cites work: Simplification of quantifier-free formulae over ordered fields
cites work: Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
cites work: Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
cites work: Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
cites work: Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
cites work: Complexity of deciding Tarski algebra
cites work: Constraint-Based Approach for Analysis of Hybrid Systems
cites work: Q3796289
cites work: Some remarks on Hilbert's Nullstellensatz
cites work: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
cites work: Using Gröbner bases to reason about geometry problems
cites work: Better answers to real questions
cites work: Criterion of Hopf bifurcations without using eigenvalues
cites work: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
cites work: Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
cites work: Graph-theoretic methods for the analysis of chemical and biochemical networks. I. Multistability and oscillations in ordinary differential equation models
cites work: Algebraic approaches to stability analysis of biological systems
cites work: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
cites work: Lectures on formally real fields
cites work: On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination
cites work: Q4334610
cites work: Q5795628
cites work: Q3255438
cites work: On k-constructable sets, k-elementary formulae, and elimination theory.
cites work: Q4660673
cites work: Verification and synthesis using real quantifier elimination
cites work: Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
cites work: Q3838772
cites work: Q2702025
cites work: New Domains for Applied Quantifier Elimination
cites work: Subtropical real root finding
cites work: Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
cites work: Q5792485
cites work: Q4418865

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (cites work)
cites work: Atomic and molecular calculations using quasirandom numbers

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (cites work)
cites work: Q4840652

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (cites work)
cites work: An elimination method for polynomial systems

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (cites work)
cites work: Algorithmic global criteria for excluding oscillations

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (cites work)
cites work: The complexity of linear problems in fields

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (cites work)
cites work: Quantifier elimination for real algebra -- the quadratic case and beyond

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (DBLP publication ID)
DBLP publication ID: journals/mics/Sturm17

A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (DOI)
DOI: 10.1007/S11786-017-0319-Z