Book Volume 4108 2006

Mathematical Knowledge Management

5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings


ISBN: 978-3-540-37104-5 (Print) 978-3-540-37106-9 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. Chapter

      Pages 1-1

      The Omega Number: Irreducible Complexity in Pure Math

    2. Chapter

      Pages 2-16

      Roles of Math Search in Mathematics

  3. Contributed Papers

    1. Chapter

      Pages 17-30

      Structured Induction Proofs in Isabelle/Isar

    2. Chapter

      Pages 31-43

      Interpretation of Locales in Isabelle: Theories and Proof Contexts

    3. Chapter

      Pages 44-53

      A Dynamic Poincaré Principle

    4. Chapter

      Pages 54-66

      A Proof-Theoretic Approach to Tactics

    5. Chapter

      Pages 67-81

      A Formal Correspondence Between OMDoc with Alternative Proofs and the \({\overline{\lambda}\mu\tilde{\mu}}\) -Calculus

    6. Chapter

      Pages 82-93

      Proof Transformation by CERES

    7. Chapter

      Pages 94-109

      Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge

    8. Chapter

      Pages 110-123

      Verifying and Invalidating Textbook Proofs Using Scunak

    9. Chapter

      Pages 124-138

      Capturing Abstract Matrices from Paper

    10. Chapter

      Pages 139-151

      Towards a Parser for Mathematical Formula Recognition

    11. Chapter

      Pages 152-164

      Stochastic Modelling of Scientific Terms Distribution in Publications

    12. Chapter

      Pages 165-178

      Capturing the Content of Physics: Systems, Observables, and Experiments

    13. Chapter

      Pages 179-193

      Communities of Practice in MKM: An Extensional Model

    14. Chapter

      Pages 194-207

      From Notation to Semantics: There and Back Again

    15. Chapter

      Pages 208-221

      Managing Informal Mathematical Knowledge: Techniques from Informal Logic

    16. Chapter

      Pages 222-236

      From Untyped to Polymorphically Typed Objects in Mathematical Web Services

    17. Chapter

      Pages 237-250

      Managing Automatically Formed Mathematical Theories

    18. Chapter

      Pages 251-265

      Authoring LeActiveMath Calculus Content

previous Page of 2