2. MKM 2003: Bertinoro, Italy

@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
  
• James H. Davenport:
  MKM from Book to Computer: A Case Study. 17-29
  
• Claudio Sacerdoti Coen:
  From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. 30-44
  
• Jonathan M. Borwein, Terry Stanway:
  Managing Digital Mathematical Discourse. 45-55
  
• David Carlisle, Mike Dewar:
  NAG Library Documentation. 56-65
  
• Luca Padovani:
  On the Roles of L^AT_EX and MathML in Encoding and Processing Mathematical Expressions. 66-79
  
• Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns:
  Problems and Solutions for Markup for Mathematical Examples and Exercises. 80-92
  
• Yusuke Baba, Masakazu Suzuki:
  An Annotated Corpus and a Grammar Model of Theorem Description. 93-104
  
• Ferruccio Guidi, Irene Schena:
  A Query Language for a Metadata Framework about Mathematical Resources. 105-118
  
• Grzegorz Bancerek, Piotr Rudnicki:
  Information Retrieval in MML. 119-132
  
• 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
  
• Michael Kohlhase, Romeo Anghelache:
  Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. 147-161
  
• Piotr Rudnicki, Andrzej Trybulec:
  On the Integrity of a Repository of Formalized Mathematics. 162-174
  
• Paul A. Cairns, Jeremy Gow:
  A Theoretical Analysis of Hierarchical Proofs. 175-187
  
• Freek Wiedijk:
  Comparing Mathematical Provers. 188-202
  
• Josef Urban:
  Translating Mizar for First Order Theorem Provers. 203-215
  

Invited Talk

• Massimo Marchiori:
  The Mathematical Semantic Web. 216-224