Mathematical Knowledge Management Network

The Mathematical Knowledge Management Network was a project funded under the Knowledge Technologies action line of the European Union's Fifth Framework. It ran from September 2002 until November 2003.

MKM Resources

Meetings, Proceedings etc.

Mathematical Knowledge Management Symposium at Heriot-Watt University, 25-30 November 2003.
Mathematics On The Semantic Web, May 2003.
AMAI Special Issue on Mathematical Knowledge Management .
Slides from the talks given at Second International Conference on Mathematical Knowledge Management.

Reports

D1.1: Report on practice in IPR and Copyright (PDF).
D1.2: Technologies for Rights Management (PDF).
D1.3: Report on metadata for MK (PDF).
D1.4: Metadata, Copyright and Intellectual Property (PDF).
D2.1: Survey paper On Formula Recognition (PDF).
D2.2: Stochastic models for identification clouds (PDF).
D2.5: Evaluation of identification clounds (PDF).
D2.6: Feasibility study of identification clouds (PDF).
D3.1: Survey paper on variations on notation (PDF).
D3.2: A proposal for a common informal language (PDF).
D3.3: Comparison of semantic bases of formal tools (PDF).
D3.4: Semantic Refinement (PDF).
D3.5: User-oriented tools (PDF).
D4.1: Survey of Existing Tools for Formal MKM (PDF).
D4.2: Case Studies In Formal MKM (PDF). A number of the papers cited in this report are available here.
D4.3: Conclusions and Research Plan for Formal MKM (PDF).
D5.1: User descriptions for MKM Search Tools (PDF).
D5.2: Metadata for Mathematical Knowledge Management (PDF).
D5.3: (Preliminary) Proposal for a Service Description Model for MKM Search Engines (PDF).
D5.4: Mathematical Knowledge Management and searchability (PDF).
D5.5: A proposal for a unified Metadata Model (PDF).

Software

Software Tools for Identification Clouds (tar file) and associated collection of Identification Clouds.