Florina Piroi,
"User Interface Features in Theorema: A Summary"
, in Paul Libbrecht: In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference, Seite(n) 1-16, 2004
Original Titel:
User Interface Features in Theorema: A Summary
Sprache des Titels:
Englisch
Original Buchtitel:
In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference
Original Kurzfassung:
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.