Simplification of quantifier free formulas over ordered fields:

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 formul...

Full description

Saved in:
Bibliographic Details
Main Authors: Dolzmann, Andreas (Author), Sturm, Thomas (Author)
Format: Book
Language:English
Published: Passau 1995
Series:Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1995,17
Subjects:
Summary: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, Loos and Weispfenning, 1993). They are, however, applicable to other elimination methods."
Physical Description:25, 3 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!