Mathematical Knowledge Management in HELM

@article{Asperti2004MathematicalKM,
  title={Mathematical Knowledge Management in HELM},
  author={A. Asperti and L. Padovani and C. Coen and F. Guidi and Irene Schena},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={2004},
  volume={38},
  pages={27-46}
}
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. 
Engineering Mathematical Knowledge
Digitisation, Representation, and Formalisation
Mathematical Knowledge Management
  • W. Farmer
  • Computer Science, Mathematics
  • Encyclopedia of Knowledge Management
  • 2011
On Dynamically Presenting a Topology Course
A Content Based Mathematical Search Engine: Whelp
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 18 REFERENCES
HELM and the Semantic Math-Web
Certified and Portable Mathematical Documents from Formal Contexts
The Gnome DOM Engine
OMDoc: an infrastructure for OpenMath content dictionary information
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms
  • B. Naylor, S. Watt
  • Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 2004
Extracting Text from Proofs
...
1
2
...