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) |
|
