Mathematical Knowledge Management in HELM

Mathematical Knowledge Management in HELM

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”...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Annals of mathematics and artificial intelligence 2003-05, Vol.38 (1-3), p.27-46
Hauptverfasser: Asperti, Andrea, Padovani, Luca, Sacerdoti Coen, Claudio, Guidi, Ferruccio, Schena, Irene
Format: Artikel
Sprache:eng
Schlagworte:
Knowledge management
Mathematical analysis
Project management
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1012-2443
1573-7470
DOI:10.1023/A:1022907629104