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.
| Original language | English |
|---|---|
| Title of host publication | In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference |
| Editors | Paul Libbrecht |
| Pages | 1-16 |
| Number of pages | 16 |
| Publication status | Published - 2004 |
Fields of science
- 101 Mathematics
- 101001 Algebra
- 101005 Computer algebra
- 101009 Geometry
- 101012 Combinatorics
- 101013 Mathematical logic
- 101020 Technical mathematics
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver