Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

Theorema: Theorem Proving for the Masses Using Mathematica
Author

Bruno Buchberger
Organization: Johannes Kepler University
Department: RISC-Linz
Conference

1998 WorldWide Mathematica Conference
Conference location

Chicago, IL
Description

The Theorema project aims at bringing computer-supported mathematical proving into the frame of Mathematica, using both the logical power of Mathematica's rule-based programming style and the flexibility and maturity of Mathematica's front end. Theorema generates proofs in natural languages in the style of proofs produced by humans. Applications range from logical training for students to computer-supported mathematical research and formal software verification.
Subjects

*Mathematica Technology > Application Packages > Additional Applications > Theorema
*Mathematics > Foundations of Mathematics
URL

http://library.wolfram.com/conferences/conference98/abstracts/theorema.html
Downloads

Download
Buchberger.sit (31 KB) - Macintosh
Download
buchberger.presentation.zip (30.7 KB) - PC/Unix