Paper Description: MIP-9720
BibTeX entry:
@incollection{MIP-9720,
author="A. Dolzmann, Th. Sturm, V. Weispfenning"
title="Real Quantifier Elimination in
Practice ",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1997,
number={MIP-9720}
}
Abstract: (see paper itself)
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl