REDLOG: computer algebra meets computer logic

Abstract: "REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods a...

Full description

Saved in:
Bibliographic Details
Main Authors: Dolzmann, Andreas (Author), Sturm, Thomas (Author)
Format: Book
Language:English
Published: Passau 1996
Series:Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1996,03
Subjects:
Summary:Abstract: "REDLOG is a package that extends the computer algebra system REDUCE to a computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of first-order formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods applied know about the underlying algebraic theory and make use of it. Though the focus is on simplification, parametric linear optimization, and quantifier elimination, REDLOG is designed as a general- purpose system. We describe the functionality of REDLOG as it appears to the user, and explain the design issues and implementation techniques."
Physical Description:14, 4 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!