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

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4108)

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Contributed Papers

    1. Makarius Wenzel
      Pages 17-30
    2. Manfred Kerber
      Pages 44-53
    3. Kamal Aboul-Hosn
      Pages 54-66
    4. Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
      Pages 82-93
    5. Toshihiro Kanahori, Alan Sexton, Volker Sorge, Masakazu Suzuki
      Pages 124-138
    6. Amar Raja, Matthew Rayner, Alan Sexton, Volker Sorge
      Pages 139-151
    7. Rimantas Rudzkis, Vaidas Balys, Michiel Hazewinkel
      Pages 152-164
    8. Eberhard R. Hilf, Michael Kohlhase, Heinrich Stamerjohanns
      Pages 165-178
    9. Andrea Kohlhase, Michael Kohlhase
      Pages 179-193
    10. Luca Padovani, Stefano Zacchiroli
      Pages 194-207
    11. Simon Colton, Pedro Torres, Paul Cairns, Volker Sorge
      Pages 237-250
    12. Paul Libbrecht, Christian Gross
      Pages 251-265
    13. Grzegorz Bancerek
      Pages 266-279
  4. Back Matter

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