From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Digitisation, Representation, and Formalisation
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
A Framework for Interactive Proof
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Cooperative Repositories for Formal Proofs
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Restoring Natural Language as a Computerised Mathematics Input Method
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Towards meaningful mathematical expressions in e-learning
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
NKIMathE – a multi-purpose knowledge management environment for mathematical concepts
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Hi-index | 0.00 |
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technologyf or the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. In particular, XML provides a central technology for storing, retrieving and processing mathematical documents, comprising sophisticated web-publishing mechanisms (stylesheets) covering notational and stylistic issues. By the application of XML technology to the large repositories of structured, content oriented information offered by Logical Frameworks we meet the ultimate goal of the Semantic Web, that is to allow machines the sharing and exploitation of knowledge in the Web way, i.e. without central authority, with few basic rules, in a scalable, adaptable, extensible manner.