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

last updated on Sat May 25 05:23:06 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page