Wolfram Library Archive


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

Theorema 2.0: A System for Mathematical Theory Exploration
Author

Wolfgang Windsteiger
Journal / Anthology

ICMS 2014, LNCS 8592
Year: 2014
Page range: 9–52
Description

Theorema 2.0 stands for a re-design including a complete reimplementation 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, in particular the new user interface of the system.
Subjects

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

Theorema, mathematical assistant system, automated theorem, proving, theory exploration, user interfaces, GPL.