Skip to main content
SpringerLink
Log in

Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Andrea Asperti

    1. Department of Computer Science, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bruno Buchberger

    1. Research Institute for Symbolic Computation, Johannes Kepler University, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. James Harold Davenport

    1. Departments of Mathematical Sciences and Computer Science, University of Bath, Bath, England

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: MKM 2003.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Regular Contributions

    1. Digitisation, Representation, and Formalisation Digital Libraries of Mathematics

      • Andrew A. Adams
      Pages 1-16

    2. MKM from Book to Computer: A Case Study

      • James H. Davenport
      Pages 17-29

    3. From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls

      • Claudio Sacerdoti Coen
      Pages 30-44

    4. Managing Digital Mathematical Discourse

      • Jonathan Borwein, Terry Stanway
      Pages 45-55

    5. NAG Library Documentation

      • David Carlisle, Mike Dewar
      Pages 56-65

    6. On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions

      • Luca Padovani
      Pages 66-79

    7. Problems and Solutions for Markup for Mathematical Examples and Exercises

      • Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul Cairns
      Pages 80-92

    8. An Annotated Corpus and a Grammar Model of Theorem Description

      • Yusuke Baba, Masakazu Suzuki
      Pages 93-104

    9. A Query Language for a Metadata Framework about Mathematical Resources

      • Ferruccio Guidi, Irene Schena
      Pages 105-118

    10. Information Retrieval in MML

      • Grzegorz Bancerek, Piotr Rudnicki
      Pages 119-132

    11. An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment

      • Bernd D. Heumesser, Dietmar A. Seipel, Ulrich Güntzer
      Pages 133-146

    12. Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge

      • Michael Kohlhase, Romeo Anghelache
      Pages 147-161

    13. On the Integrity of a Repository of Formalized Mathematics

      • Piotr Rudnicki, Andrzej Trybulec
      Pages 162-174

    14. A Theoretical Analysis of Hierarchical Proofs

      • Paul Cairns, Jeremy Gow
      Pages 175-187

    15. Comparing Mathematical Provers

      • Freek Wiedijk
      Pages 188-202

    16. Translating Mizar for First Order Theorem Provers

      • Josef Urban
      Pages 203-215

  3. Invited Talk

    1. The Mathematical Semantic Web

      • Massimo Marchiori
      Pages 216-223

  4. Back Matter

    Pages 225-225
    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Bologna, Bologna, Italy

    Andrea Asperti

  • Research Institute for Symbolic Computation, Johannes Kepler University, Austria

    Bruno Buchberger

  • Departments of Mathematical Sciences and Computer Science, University of Bath, Bath, England

    James Harold Davenport

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation