Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Theorema 2.0: A System for Mathematical Theory Exploration

Wolfgang Windsteiger
Journal / Anthology

ICMS 2014, LNCS 8592
Year: 2014
Page range: 952

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.

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

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