Mathematical Knowledge Management in HELM |
| |
Authors: | Andrea Asperti Luca Padovani Claudio Sacerdoti Coen Ferruccio Guidi Irene Schena |
| |
Affiliation: | (1) Department of Computer Science, University of Bologna, Mura Anteo Zamboni 7, 40127 Bologna, Italy |
| |
Abstract: | The paper describes the general philosophy and the main architectural and technological solutions adopted in the HELM Project for the management of large repositories of mathematical knowledge. The leitmotiv is the extensive use of XML technology, and the exploitation of information in the Web way, that is without a central authority, with few basic rules, in a scalable, adaptable, and extensible manner. |
| |
Keywords: | mathematical knowledge management XML HELM formal mathematics XSLT MathML Coq |
本文献已被 SpringerLink 等数据库收录! |
|