Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System

Theorema2.0stands fora re-designincludinga completere-implementationofthe Theoremasystem,which was originallydesigned, developed,and implementedby Bruno Buchbergerand his Theoremagroup at RISC. In this paper, we present the first prototype of a graphical user interface (GUI) forthe new system. It heavily relies on powerful interactive capabilities introduced in recent releasesof the underlying Mathematica system, most importantly the possibility of having dynamic objectsconnected to interface elements like sliders, menus, check-boxes, radio-buttons and the like. Allthese features are fully integrated into the Mathematica programming environment and allow theimplementation of a modern user interface.