Wolfram Library Archive


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

Theorema 2.0: Theorem Proving in Mathematica
Author

Wolfgang Windsteiger
Conference

Wolfram Technology Conference 2014
Conference location

Champaign, Illinois, USA
Description

Theorema 2.0 stands for a re-design including a complete re-implementation of the Theorema system, which was originally designed, developed, and implemented by Bruno Buchberger and his Theorema group at RISC. In this talk, we want to present the current status of the new implementation with an emphasis on the new user interface of the system, which is making heavy use of dynamic interactive features introduced in the more recent Mathematica releases.
Subjects

*Wolfram Technology
*Wolfram Technology > Application Packages > Additional Applications > Theorema
URL

http://www.wolfram.com/events/technology-conference/2014
Downloads Download Wolfram CDF Player

Download
OneMoreTheorem.nb (56.8 KB) - Mathematica Notebook
Download
Talk.nb (98.6 KB) - Mathematica Notebook
Download
TheoremaProof-1.nb (106.3 KB) - Mathematica Notebook
Download
TheoremaProof-2.nb (208.8 KB) - Mathematica Notebook
Download
c1018883803-co.m (123 B) - Mathematica Package
Download
c1018883803-display.m (1.3 KB) - Mathematica Package
Download
c1018883803.m (14.6 KB) - Mathematica Package
Download
c1018883803.mx (326 B) - Unknown MIME type
Download
c1361434298-co.m (2.4 KB) - Mathematica Package
Download
c1361434298-display.m (3.3 KB) - Mathematica Package
Download
c1361434298.m (12.3 KB) - Mathematica Package
Download
c1361434298.mx (808 B) - Unknown MIME type
Download
c1705893381-co.m (265 B) - Mathematica Package
Download
c1705893381-display.m (1.5 KB) - Mathematica Package
Download
c1705893381.m (12.3 KB) - Mathematica Package
Download
c1705893381.mx (740 B) - Unknown MIME type
Download
c207568955-co.m (123 B) - Mathematica Package
Download
c207568955-display.m (1.4 KB) - Mathematica Package
Download
c207568955.m (14.6 KB) - Mathematica Package
Download
c207568955.mx (326 B) - Unknown MIME type
Download
p501871624-1-display.m (9.9 KB) - Mathematica Package
Download
p501871624-1-po.m (51.1 KB) - Mathematica Package
Download
p501871624-1.m (28.3 KB) - Mathematica Package
Download
p978540590-1-display.m (10 KB) - Mathematica Package
Download
p978540590-1-po.m (28.2 KB) - Mathematica Package
Download
p978540590-1.m (19 KB) - Mathematica Package
Download
p978540590-3-display.m (10.1 KB) - Mathematica Package
Download
p978540590-3-po.m (996.7 KB) - Mathematica Package
Download
p978540590-3.m (19 KB) - Mathematica Package