Mathematical Knowledge Management

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Editors:

ISBN: 978-3-540-31430-1 (Print) 978-3-540-31431-8 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Session I: Foundations

    1. No Access

      Book Chapter

      Pages 1-16

      A Proof-Theoretic Approach to Hierarchical Math Library Organization

    2. No Access

      Book Chapter

      Pages 17-32

      An Exploration in the Space of Mathematical Knowledge

  3. Session II: Authoring

    1. No Access

      Book Chapter

      Pages 33-48

      Authoring Presentation for openmath

    2. No Access

      Book Chapter

      Pages 49-64

      Translating Mathematical Vernacular into Knowledge Repositories

    3. No Access

      Book Chapter

      Pages 65-80

      Assisted Proof Document Authoring

  4. Session III: Representations

    1. No Access

      Book Chapter

      Pages 81-95

      A Tough Nut for Mathematical Knowledge Management

    2. No Access

      Book Chapter

      Pages 96-110

      Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity

    3. No Access

      Book Chapter

      Pages 111-125

      Processing Textbook-Style Matrices

  5. Session IV: Proving

    1. No Access

      Book Chapter

      Pages 126-142

      A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity

    2. No Access

      Book Chapter

      Pages 143-158

      Impasse-Driven Reasoning in Proof Planning

    3. No Access

      Book Chapter

      Pages 159-173

      Literate Proving: Presenting and Documenting Formal Proofs

  6. Session V: MKManagement Tools

    1. No Access

      Book Chapter

      Pages 174-189

      Semantic Matching for Mathematical Services

    2. No Access

      Book Chapter

      Pages 190-202

      Mathematical Knowledge Browser with Automatic Hyperlink Detection

    3. No Access

      Book Chapter

      Pages 203-216

      A Database of Glyphs for OCR of Mathematical Documents

  7. Session VI: Documents

    1. No Access

      Book Chapter

      Pages 217-233

      Toward an Object-Oriented Structure for Mathematical Text

    2. No Access

      Book Chapter

      Pages 234-249

      Explanation in Natural Language of λ̄μμ͂-Terms

    3. No Access

      Book Chapter

      Pages 250-266

      Engineering Mathematical Knowledge

  8. Session VII: MKM Case Studies

    1. No Access

      Book Chapter

      Pages 267-282

      Computational Origami of a Morley’s Triangle

    2. No Access

      Book Chapter

      Pages 283-298

      Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study

    3. No Access

      Book Chapter

      Pages 299-314

      Gröbner Bases — Theory Refinement in the Mizar System

previous Page of 2