Skip to main content
  • Conference proceedings
  • © 2006

Mathematical Knowledge Management

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): MKM: International Conference on Mathematical Knowledge Management

Conference proceedings info: MKM 2006.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (22 papers)

  1. Front Matter

  2. Invited Talks

    1. Roles of Math Search in Mathematics

      • Abdou Youssef
      Pages 2-16
  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

Editors and Affiliations

  • Faculty of Computer Science, Dalhousie University, Nova Scotia, Canada

    Jonathan M. Borwein

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    William M. Farmer

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access