Theorema 2.0: Theorem Proving in Mathematica -- from Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Title

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

OneMoreTheorem.nb (56.8 KB) - Mathematica Notebook

Talk.nb (98.6 KB) - Mathematica Notebook

TheoremaProof-1.nb (106.3 KB) - Mathematica Notebook

TheoremaProof-2.nb (208.8 KB) - Mathematica Notebook

c1018883803-co.m (123 B) - Mathematica Package

c1018883803-display.m (1.3 KB) - Mathematica Package

c1018883803.m (14.6 KB) - Mathematica Package

c1018883803.mx (326 B) - Unknown MIME type

c1361434298-co.m (2.4 KB) - Mathematica Package

c1361434298-display.m (3.3 KB) - Mathematica Package

c1361434298.m (12.3 KB) - Mathematica Package

c1361434298.mx (808 B) - Unknown MIME type

c1705893381-co.m (265 B) - Mathematica Package

c1705893381-display.m (1.5 KB) - Mathematica Package

c1705893381.m (12.3 KB) - Mathematica Package

c1705893381.mx (740 B) - Unknown MIME type

c207568955-co.m (123 B) - Mathematica Package

c207568955-display.m (1.4 KB) - Mathematica Package

c207568955.m (14.6 KB) - Mathematica Package

c207568955.mx (326 B) - Unknown MIME type

p501871624-1-display.m (9.9 KB) - Mathematica Package

p501871624-1-po.m (51.1 KB) - Mathematica Package

p501871624-1.m (28.3 KB) - Mathematica Package

p978540590-1-display.m (10 KB) - Mathematica Package

p978540590-1-po.m (28.2 KB) - Mathematica Package

p978540590-1.m (19 KB) - Mathematica Package

p978540590-3-display.m (10.1 KB) - Mathematica Package

p978540590-3-po.m (996.7 KB) - Mathematica Package

p978540590-3.m (19 KB) - Mathematica Package

WOLFRAM