Mathematical Knowledge Management

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Proof-Theoretic Approach to Hierarchical Math Library Organization
3. Altmetric Badge
   Chapter 2 An Exploration in the Space of Mathematical Knowledge
4. Altmetric Badge
   Chapter 3 Authoring Presentation for openmath
5. Altmetric Badge
   Chapter 4 Translating Mathematical Vernacular into Knowledge Repositories
6. Altmetric Badge
   Chapter 5 Assisted Proof Document Authoring
7. Altmetric Badge
   Chapter 6 A Tough Nut for Mathematical Knowledge Management
8. Altmetric Badge
   Chapter 7 Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity
9. Altmetric Badge
   Chapter 8 Processing Textbook-Style Matrices
10. Altmetric Badge
    Chapter 9 A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity
11. Altmetric Badge
    Chapter 10 Impasse-Driven Reasoning in Proof Planning
12. Altmetric Badge
    Chapter 11 Literate Proving: Presenting and Documenting Formal Proofs
13. Altmetric Badge
    Chapter 12 Semantic Matching for Mathematical Services
14. Altmetric Badge
    Chapter 13 Mathematical Knowledge Browser with Automatic Hyperlink Detection
15. Altmetric Badge
    Chapter 14 A Database of Glyphs for OCR of Mathematical Documents
16. Altmetric Badge
    Chapter 15 Toward an Object-Oriented Structure for Mathematical Text
17. Altmetric Badge
    Chapter 16 Explanation in Natural Language of λ̄μμ͂-Terms
18. Altmetric Badge
    Chapter 17 Engineering Mathematical Knowledge
19. Altmetric Badge
    Chapter 18 Computational Origami of a Morley’s Triangle
20. Altmetric Badge
    Chapter 19 Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study
21. Altmetric Badge
    Chapter 20 Gröbner Bases — Theory Refinement in the Mizar System
22. Altmetric Badge
    Chapter 21 An Interactive Algebra Course with Formalised Proofs and Definitions
23. Altmetric Badge
    Chapter 22 Interactive Learning and Mathematical Calculus
24. Altmetric Badge
    Chapter 23 XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
25. Altmetric Badge
    Chapter 24 Determining Empirical Characteristics of Mathematical Expression Use
26. Altmetric Badge
    Chapter 25 Transformations of MML Database’s Elements
27. Altmetric Badge
    Chapter 26 Translating a Fragment of Weak Type Theory into Type Theory with Open Terms