Mathematical Knowledge Management

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

  • Jonathan M. Borwein
  • William M. Farmer
Conference proceedings MKM 2006

DOI: 10.1007/11812289

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4108)

Table of contents (22 papers)

  1. Front Matter
  2. Invited Talks

  3. Contributed Papers

    1. Structured Induction Proofs in Isabelle/Isar
      Makarius Wenzel
      Pages 17-30
    2. A Dynamic Poincaré Principle
      Manfred Kerber
      Pages 44-53
    3. A Proof-Theoretic Approach to Tactics
      Kamal Aboul-Hosn
      Pages 54-66
    4. Proof Transformation by CERES
      Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
      Pages 82-93
    5. Capturing Abstract Matrices from Paper
      Toshihiro Kanahori, Alan Sexton, Volker Sorge, Masakazu Suzuki
      Pages 124-138
    6. Towards a Parser for Mathematical Formula Recognition
      Amar Raja, Matthew Rayner, Alan Sexton, Volker Sorge
      Pages 139-151
    7. Stochastic Modelling of Scientific Terms Distribution in Publications
      Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel
      Pages 152-164
    8. Capturing the Content of Physics: Systems, Observables, and Experiments
      Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns
      Pages 165-178
    9. Communities of Practice in MKM: An Extensional Model
      Andrea Kohlhase, Michael Kohlhase
      Pages 179-193
    10. From Notation to Semantics: There and Back Again
      Luca Padovani, Stefano Zacchiroli
      Pages 194-207
    11. Managing Automatically Formed Mathematical Theories
      Simon Colton, Pedro Torres, Paul Cairns, Volker Sorge
      Pages 237-250

About these proceedings


LaTeX complexity e-learning formal logic formal mathematics interactive algebra knowledge management knowledge representation mathematical encoding mathematical knowledge management mathematical knowledge representation mathematical libraries mathematical retrieval mathematics semantics

Editors and affiliations

  • Jonathan M. Borwein
    • 1
  • William M. Farmer
    • 2
  1. 1.Faculty of Computer ScienceDalhousie UniversityNova ScotiaCanada
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-37104-5
  • Online ISBN 978-3-540-37106-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349