Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleREDLOG: Computer algebra meets computer logic
Author(s) Andreas Dolzmann, Thomas Sturm
TypeArticle in Journal
AbstractRedlog 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 firstorder 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. We illustrate some applications of redlog, describe its functionality as it appears to the user, and explain the design issues and implementation techniques.
redlog is available on the www.
File
LanguageEnglish
JournalSIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation)
Volume31
Number2
Pages2-9
Year1997
Translation No
Refereed No
Organization Universität Passau
Webmaster