|
|
|
|
|
|
 |
|
|
Theorema 2.0: A System for Mathematical Theory Exploration
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
Theorema, mathematical assistant system, automated theorem, proving, theory exploration, user interfaces, GPL.
|
|
|
|
|
|
|
| | | | | |
|
For the newest resources, visit Wolfram Repositories and Archives »
