Mathematical knowledge management in HELM
Annals of Mathematics and Artificial Intelligence, 2003•Springer
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.
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.
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.
Springer
