Conferences in DBLP

Mathematical Knowledge Management (mkm)
2003 (conf/mkm/2003)

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