Lecture Notes in Artificial Intelligence

Mathematical Knowledge Management

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

Editors: Kohlhase, Michael (Ed.)

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-31431-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-31430-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (26 chapters)

  • A Proof-Theoretic Approach to Hierarchical Math Library Organization

    Aboul-Hosn, Kamal (et al.)

    Pages 1-16

  • An Exploration in the Space of Mathematical Knowledge

    Kohlhase, Andrea (et al.)

    Pages 17-32

  • Authoring Presentation for openmath

    Manzoor, Shahid (et al.)

    Pages 33-48

  • Translating Mathematical Vernacular into Knowledge Repositories

    Grabowski, Adam (et al.)

    Pages 49-64

  • Assisted Proof Document Authoring

    Aspinall, David (et al.)

    Pages 65-80

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-31431-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-31430-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Knowledge Management
Book Subtitle
4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Editors
  • Michael Kohlhase
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
3863
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31431-8
DOI
10.1007/11618027
Softcover ISBN
978-3-540-31430-1
Edition Number
1
Number of Pages
XII, 408
Topics