scientific article; zbMATH DE number 1263423
From MaRDI portal
Publication:4234321
zbMath0919.03030MaRDI QIDQ4234321
Publication date: 16 March 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
polynomial inequalitiesquantifier elimination methodvirtual substitution of parametrized test points
Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (17)
Real algebraic numbers and polynomial systems of small degree ⋮ Stability analysis for discrete biological models using algebraic methods ⋮ Better answers to real questions ⋮ Adapting Real Quantifier Elimination Methods for Conflict Set Computation ⋮ CGSQE/SyNRAC ⋮ Algorithmic methods for investigating equilibria in epidemic modeling ⋮ Quantifier elimination in automatic loop parallelization ⋮ Multiple object semilinear motion planning ⋮ Automatic generation of bounds for polynomial systems with application to the Lorenz system ⋮ Algorithmic global criteria for excluding oscillations ⋮ Solution formulas for cubic equations without or with constraints ⋮ Simple CAD construction and its applications ⋮ Improved algorithms for linear complementarity problem arising from collision response ⋮ Verified Quadratic Virtual Substitution for Real Arithmetic ⋮ Identifying the parametric occurrence of multiple steady states for some biological networks ⋮ Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. ⋮ Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
Uses Software
This page was built for publication:
