2. MKM 2003: Bertinoro, Italy

Andrea Asperti, Bruno Buchberger, James H. Davenport (Eds.): Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings. Lecture Notes in Computer Science 2594 Springer 2003, ISBN 3-540-00568-4 BibTeX

@proceedings{DBLP:conf/mkm/2003,
  editor    = {Andrea Asperti and
               Bruno Buchberger and
               James H. Davenport},
  title     = {Mathematical Knowledge Management, Second International Conference,
               MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings},
  booktitle = {MKM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2594},
  year      = {2003},
  isbn      = {3-540-00568-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Regular Contributions

Andrew A. Adams:
Digitisation, Representation, and Formalisation. 1-16
Electronic Edition (Springer LINK) BibTeX
James H. Davenport:
MKM from Book to Computer: A Case Study. 17-29
Electronic Edition (Springer LINK) BibTeX
Claudio Sacerdoti Coen:
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. 30-44
Electronic Edition (Springer LINK) BibTeX
Jonathan M. Borwein, Terry Stanway:
Managing Digital Mathematical Discourse. 45-55
Electronic Edition (Springer LINK) BibTeX
David Carlisle, Mike Dewar:
NAG Library Documentation. 56-65
Electronic Edition (Springer LINK) BibTeX
Luca Padovani:
On the Roles of L^AT_EX and MathML in Encoding and Processing Mathematical Expressions. 66-79
Electronic Edition (Springer LINK) BibTeX
Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns:
Problems and Solutions for Markup for Mathematical Examples and Exercises. 80-92
Electronic Edition (Springer LINK) BibTeX
Yusuke Baba, Masakazu Suzuki:
An Annotated Corpus and a Grammar Model of Theorem Description. 93-104
Electronic Edition (Springer LINK) BibTeX
Ferruccio Guidi, Irene Schena:
A Query Language for a Metadata Framework about Mathematical Resources. 105-118
Electronic Edition (Springer LINK) BibTeX
Grzegorz Bancerek, Piotr Rudnicki:
Information Retrieval in MML. 119-132
Electronic Edition (Springer LINK) BibTeX
Bernd D. Heumesser, Dietmar Seipel, Ulrich Güntzer:
An Expert System for the Flexible Processing of XML-Based Mathematical Knowledge in a PROLOG-Environment. 133-146
Electronic Edition (Springer LINK) BibTeX
Michael Kohlhase, Romeo Anghelache:
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. 147-161
Electronic Edition (Springer LINK) BibTeX
Piotr Rudnicki, Andrzej Trybulec:
On the Integrity of a Repository of Formalized Mathematics. 162-174
Electronic Edition (Springer LINK) BibTeX
Paul A. Cairns, Jeremy Gow:
A Theoretical Analysis of Hierarchical Proofs. 175-187
Electronic Edition (Springer LINK) BibTeX
Freek Wiedijk:
Comparing Mathematical Provers. 188-202
Electronic Edition (Springer LINK) BibTeX
Josef Urban:
Translating Mizar for First Order Theorem Provers. 203-215
Electronic Edition (Springer LINK) BibTeX

Invited Talk

Massimo Marchiori:
The Mathematical Semantic Web. 216-224
Electronic Edition (Springer LINK) BibTeX