Mathematical Knowledge Management Network

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.