Simulation and optimization by quantifier elimination

From MaRDI portal
Publication:1368693

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




Related Items (15)


Uses Software



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