User Interface Features in Theorema: A Summary

Florina Piroi

User Interface Features in Theorema: A Summary

Florina Piroi

Institut für Symbolisches Rechnen

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference
Herausgeber*innen	Paul Libbrecht
Seiten	1-16
Seitenumfang	16
Publikationsstatus	Veröffentlicht - 2004

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101009 Geometrie
101012 Kombinatorik
101013 Mathematische Logik
101020 Technische Mathematik

Andere Dateien und Links

http://www.activemath.org/~paul/MathUI/

Dieses zitieren

@inproceedings{ae9b20faebba413fb6884b8f718b6293,

title = "User Interface Features in Theorema: A Summary",

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.",

author = "Florina Piroi",

year = "2004",

language = "English",

pages = "1--16",

editor = "\{Paul Libbrecht\}",

booktitle = "In Proceedings of {"}Mathematical User-Interfaces Workshop{"} At the Third Mathematical Knowledge Management Conference",

}

TY - GEN

T1 - User Interface Features in Theorema: A Summary

AU - Piroi, Florina

PY - 2004

Y1 - 2004

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

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

UR - http://www.activemath.org/~paul/MathUI/

M3 - Conference proceedings

SP - 1

EP - 16

BT - In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference

A2 - Paul Libbrecht, null

ER -