Conferences in DBLP
Andrew A. Adams Digitisation, Representation, and Formalisation. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:1-16 [Conf ] James H. Davenport MKM from Book to Computer: A Case Study. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:17-29 [Conf ] 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 ] Jonathan M. Borwein , Terry Stanway Managing Digital Mathematical Discourse. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:45-55 [Conf ] David Carlisle , Mike Dewar NAG Library Documentation. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:56-65 [Conf ] Luca Padovani On the Roles of L^{A} T_{E} X and MathML in Encoding and Processing Mathematical Expressions. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:66-79 [Conf ] 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 ] 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 ] 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 ] Grzegorz Bancerek , Piotr Rudnicki Information Retrieval in MML. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:119-132 [Conf ] 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 ] 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 ] Piotr Rudnicki , Andrzej Trybulec On the Integrity of a Repository of Formalized Mathematics. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:162-174 [Conf ] Paul A. Cairns , Jeremy Gow A Theoretical Analysis of Hierarchical Proofs. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:175-187 [Conf ] Freek Wiedijk Comparing Mathematical Provers. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:188-202 [Conf ] Josef Urban Translating Mizar for First Order Theorem Provers. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:203-215 [Conf ] Massimo Marchiori The Mathematical Semantic Web. [Citation Graph (0, 0)][DBLP ] MKM, 2003, pp:216-224 [Conf ]