↓ Skip to main content

Mathematical Knowledge Management

Overview of attention for book
Cover of '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
Attention for Chapter 6: A Tough Nut for Mathematical Knowledge Management
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Tough Nut for Mathematical Knowledge Management
Chapter number 6
Book title
Mathematical Knowledge Management
Published by
Springer, Berlin, Heidelberg, July 2005
DOI 10.1007/11618027_6
Book ISBNs
978-3-54-031430-1, 978-3-54-031431-8
Authors

Manfred Kerber, Martin Pollet, Kerber, Manfred, Pollet, Martin

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 20%
Unknown 4 80%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Student > Master 2 40%
Student > Doctoral Student 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Mathematics 1 20%
Philosophy 1 20%