Details:
Title | Mathematical Knowledge Management in Theorema | Author(s) | Bruno Buchberger | Type | Technical Report, Misc | Abstract | We describe tools available and planned in the Theorema system for supporting the key issues of mathematical knowledge management: mathematical knowledge retrieval, mathematical knowledge composition, and the formal training of the users and creators of mathematical knowledge. |
Language | English | Year | 2001 | Edition | 0 | Translation |
No | Refereed |
No | Institution |
RISC (Research Institute for Symbolic Computation) |
|