Simulation and optimization by quantifier elimination

DOI10.1006/jsco.1997.0122zbMath0883.68075OpenAlexW2035981707MaRDI QIDQ1368693

Volker Weispfenning

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/b80d0ee1f877f6e3a1d051c24f319260f86cf952

zbMATH Keywords

elimination treeparametric linear programmingnon-convex caseelimination of linear variables from a Boolean combination of polynomial equations and inequalitiessimulation of large technical networks

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonconvex programming, global optimization (90C26) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (15)

Applied Algebraic Geometry in Model Based Design for Manufacturing ⋮ An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ Better answers to real questions ⋮ Unnamed Item ⋮ Weak quantifier elimination for the full linear theory of the integers ⋮ Validity proof of Lazard's method for CAD construction ⋮ Algorithmic global criteria for excluding oscillations ⋮ 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 ⋮ Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem ⋮ 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. ⋮ A computational method for determining strong stabilizability of \(n\)-D systems ⋮ A Roadmap to Decidability ⋮ Special algorithm for stability analysis of multistable biological regulatory systems

Uses Software

• QEPCAD
• NETLIB LP Test Set

This page was built for publication: Simulation and optimization by quantifier elimination