RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC2136,
    author = {Florina Piroi},
    title = {{User Interface Features in Theorema: A Summary}},
    booktitle = {{In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference}},
    language = {english},
    abstract = { 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.},
    pages = {1--16},
    year = {2004},
    note = {Also available as SFB Technical Report 2004-46},
    editor = {Paul Libbrecht},
    refereed = {yes},
    length = {16},
    url = {http://www.activemath.org/~paul/MathUI/}