Mathematical Knowledge Management

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

  • Michael Kohlhase
Conference proceedings MKM 2005

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

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

Table of contents

  1. Front Matter
  2. Session I: Foundations

    1. Kamal Aboul-Hosn, Terese Damhøj Andersen
      Pages 1-16
    2. Andrea Kohlhase, Michael Kohlhase
      Pages 17-32
  3. Session II: Authoring

    1. Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, Erica Melis
      Pages 33-48
    2. Adam Grabowski, Christoph Schwarzweller
      Pages 49-64
    3. David Aspinall, Christoph Lüth, Burkhart Wolff
      Pages 65-80
  4. Session III: Representations

    1. Manfred Kerber, Martin Pollet
      Pages 81-95
    2. Alan Sexton, Volker Sorge
      Pages 111-125
  5. Session IV: Proving

    1. Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
      Pages 126-142
    2. Andreas Meier, Erica Melis
      Pages 143-158
    3. Paul Cairns, Jeremy Gow
      Pages 159-173
  6. Session V: MKManagement Tools

    1. William Naylor, Julian Padget
      Pages 174-189
    2. Koji Nakagawa, Masakazu Suzuki
      Pages 190-202
    3. Alan Sexton, Volker Sorge
      Pages 203-216
  7. Session VI: Documents

    1. Fairouz Kamareddine, Manuel Maarek, J. B. Wells
      Pages 217-233
    2. Claudio Sacerdoti Coen
      Pages 234-249
    3. Achim Mahnke, Jan Scheffczyk
      Pages 250-266
  8. Session VII: MKM Case Studies

  9. Session VIII: Course Materials

    1. Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel Elie Mamane, Claudio Sacerdoti Coen
      Pages 315-329
    2. Arjeh M. Cohen, Hans Cuypers, Dorina Jibetean, Mark Spanbroek
      Pages 330-345
  10. Session IX: Migration

  11. Back Matter

About these proceedings


This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software - velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have post-conference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci- tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to - cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after re-evaluation by the Programme Committee since they included signi?cant improvements triggered by the referee reports and the discussions at the conference.


Algebra automated theorem proving e-learning equation formal logic formal mathematics interactive algebra knowledge management latex learning mathematical encoding mathematical knowledge management proof proving theorem

Editors and affiliations

  • Michael Kohlhase
    • 1
  1. 1.Computer Science, Jacobs University Bremen 

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-31430-1
  • Online ISBN 978-3-540-31431-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site