Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/mathematical-knowledge-management-in-helm-y98fJpZZk3
References (20)
-
A. Asperti, L. Padovani, C. Coen, Irene Schena (2001)
HELM and the Semantic Math-Web -
(2001)
Formal mathematics on the Web -
M. Kohlhase (2000)
OMDoc: an infrastructure for OpenMath content dictionary informationSIGSAM Bull., 34
-
(1986)
Implementing Mathematics with the Nuprl Development System -
A. Asperti, L. Padovani, C. Sacerdoti Coen, I. Schena (2000)
Proceedings of the First International Conference on MathML and Math on the Web -
Yann Coscoy (2000)
Explication textuelle de preuves pour le calcul des constructions inductives -
José Kahan, Marja-Riitta Koivunen, E. Prud'hommeaux, R. Swick (2001)
Annotea: an open RDF infrastructure for shared Web annotations -
M. Oostdijk (2001)
Generation and presentation of formal mathematical documents -
(2001)
The Gnome DOM Engine, acepted paper at the Extreme Markup Language -
Bruno Barras, S. Boutin, C. Cornes, J. Courant, J. Filliâtre, Eduardo Giménez, Hugo Herbelin, G. Huet, C. Muñoz, Chetan Murthy, C. Parent, Christine Paulin-Mohring, Amokrane Saïbi, Benjamin Werner (1997)
The Coq proof assistant : reference manual, version 6.1 -
Yann Coscoy, G. Kahn, L. Théry (1995)
Extracting Text from Proofs -
B. Naylor, S. Watt (2003)
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple FormsAnnals of Mathematics and Artificial Intelligence, 38
-
M. Kohlhase (2000)
OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge -
O. Caprotti, J. Geuvers, Oostdijk (2001)
Certified and Portable Mathematical Documents from Formal Contexts -
G. Huet, G. Plotkin (1991)
Logical frameworks -
(2000)
Content-centric logical environments -
M. Kohlase (2000)
Proceedings of Conf. on Artificial Intelligence and Symbolic Computation -
S. Boag (2003)
XQuery 1.0 : An XML query language, W3C Working Draft 12 November 2003 -
(2001)
Mathematical Knowledge Management in HELM -
(1993)
Logical Environments
- Publisher
- Springer Journals
- Copyright
- Copyright © 2003 by Kluwer Academic Publishers
- Subject
- Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Complex Systems
- ISSN
- 1012-2443
- eISSN
- 1573-7470
- DOI
- 10.1023/A:1022907629104
- Publisher site
- See Article on Publisher Site
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.
Journal
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Oct 10, 2004