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

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

    1. James H. Davenport
      Pages 17-29
    2. Jonathan Borwein, Terry Stanway
      Pages 45-55
    3. David Carlisle, Mike Dewar
      Pages 56-65
    4. Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul Cairns
      Pages 80-92
    5. Yusuke Baba, Masakazu Suzuki
      Pages 93-104
    6. Grzegorz Bancerek, Piotr Rudnicki
      Pages 119-132
    7. Piotr Rudnicki, Andrzej Trybulec
      Pages 162-174
    8. Paul Cairns, Jeremy Gow
      Pages 175-187
    9. Freek Wiedijk
      Pages 188-202
  3. Invited Talk

    1. Massimo Marchiori
      Pages 216-223
  4. Back Matter
    Pages 225-225

About these proceedings

Keywords

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