This paper presents the main features of Theorema's user interface. We briefly describe how mathematical knowledge can be expressed in the Theorema Formal Text Language and how the knowledge can be used for proving, solving, computing. We illustrate how the system presents the proofs it generated and how the user can influence the proof search process interactively.
| [PDF] | Theorema_UI_features_MathUI04.pdf | Article (576 Kb, 14 pages). |
| Back to MathUI proceedings | Proceedings last updated on Mon Sep 20 2004 |