Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

  • Andrea Asperti
  • Bruno Buchberger
  • James Harold Davenport
Conference proceedings MKM 2003

DOI: 10.1007/3-540-36469-2

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

Table of contents (17 papers)

  1. Front Matter
    Pages I-X
  2. Regular Contributions

    1. MKM from Book to Computer: A Case Study
      James H. Davenport
      Pages 17-29
    2. Managing Digital Mathematical Discourse
      Jonathan Borwein, Terry Stanway
      Pages 45-55
    3. NAG Library Documentation
      David Carlisle, Mike Dewar
      Pages 56-65
    4. Problems and Solutions for Markup for Mathematical Examples and Exercises
      Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul Cairns
      Pages 80-92
    5. An Annotated Corpus and a Grammar Model of Theorem Description
      Yusuke Baba, Masakazu Suzuki
      Pages 93-104
    6. Information Retrieval in MML
      Grzegorz Bancerek, Piotr Rudnicki
      Pages 119-132
    7. On the Integrity of a Repository of Formalized Mathematics
      Piotr Rudnicki, Andrzej Trybulec
      Pages 162-174
    8. A Theoretical Analysis of Hierarchical Proofs
      Paul Cairns, Jeremy Gow
      Pages 175-187
    9. Comparing Mathematical Provers
      Freek Wiedijk
      Pages 188-202
  3. Invited Talk

    1. The Mathematical Semantic Web
      Massimo Marchiori
      Pages 216-223
  4. Back Matter
    Pages 225-225

About these proceedings


Computer Extensible Markup Language (XML) LA LaTeX MathML calculus digitization distributed libraries of mathematics knowledge management knowledge processing mathematical knowledge management proof theory proving semantic web theorem descriptions

Editors and affiliations

  • Andrea Asperti
    • 1
  • Bruno Buchberger
    • 2
  • James Harold Davenport
    • 3
  1. 1.Department of Computer ScienceUniversity of BolognaBolognaItaly
  2. 2.Research Institute for Symbolic ComputationJohannes Kepler UniversityAustria
  3. 3.Departments of Mathematical Sciences and Computer ScienceUniversity of BathBathEngland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00568-1
  • Online ISBN 978-3-540-36469-6
  • Series Print ISSN 0302-9743