Simulation and optimization by quantifier elimination

From MaRDI portal
Revision as of 14:58, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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