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.
Forschungs-