Simplification of quantifier-free formulae over ordered fields
From MaRDI portal
Publication:1368694
DOI10.1006/jsco.1997.0123zbMath0882.03030OpenAlexW2007600823MaRDI QIDQ1368694
Andreas Dolzmann, Thomas Sturm
Publication date: 29 September 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c9f5bd60982356b8344bbec90dac616d971e0fe2
Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Parametric toricity of steady state varieties of reaction networks, SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving, Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates, Detection of Hopf bifurcations in chemical reaction networks using convex coordinates, Better answers to real questions, Fast simplifications for Tarski formulas based on monomial inequalities, Computing with Tarski formulas and semi-algebraic sets in a web browser, Adapting Real Quantifier Elimination Methods for Conflict Set Computation, A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Algorithmic methods for investigating equilibria in epidemic modeling, Multiple object semilinear motion planning, Weak quantifier elimination for the full linear theory of the integers, A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets, Algorithmic global criteria for excluding oscillations, Solution formulas for cubic equations without or with constraints, Simple CAD construction and its applications, Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk), Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology, Identifying the parametric occurrence of multiple steady states for some biological networks, Efficiently and effectively recognizing toricity of steady state varieties, A logic based approach to finding real singularities of implicit ordinary differential equations, From simplification to a partial theory solver for non-linear real polynomial constraints, Effective Quantifier Elimination for Presburger Arithmetic with Infinity, Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package., Linear problems in valued fields
Uses Software
