Simulation and optimization by quantifier elimination
DOI10.1006/jsco.1997.0122zbMath0883.68075OpenAlexW2035981707MaRDI QIDQ1368693
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
elimination treeparametric linear programmingnon-convex caseelimination of linear variables from a Boolean combination of polynomial equations and inequalitiessimulation of large technical networks
Symbolic computation and algebraic computation (68W30) Nonconvex programming, global optimization (90C26) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (15)
Uses Software
This page was built for publication: Simulation and optimization by quantifier elimination