Paper Description: MIP-9517
BibTeX entry:
@incollection{MIP-9517,
author="A. Dolzmann, Th. Sturm",
title="Simplification of Quantifier free Formulas over Ordered Fields",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1995,
number={MIP-9517}
}
Abstract:
Good simplification strategies are essential for implementing any kind
of effective real quantifier elimination. Given a quantifier-free
first-order formula over the theory of ordered fields, the aim is to
find an equivalent first-order formula that is simpler. The notion of
a formula being simpler will be specified. An overview is given over
various methods, which we have implemented in REDUCE. Our methods have
been developed for simplifying intermediate and final results of
automatic quantifier elimination using elimination set ideas
(Weispfenning, 1988, LoosWeispfenning 1993). They are, however,
applicable to other elimination methods.
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl