default search action

combined dblp search
author search
venue search
publication search

ask others

2nd MKM 2003: Bertinoro, Italy

> Home > Conferences and Workshops > MKM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2003
Andrea Asperti, Bruno Buchberger, James H. Davenport:
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

Regular Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Adams03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Adams03
Andrew A. Adams:
Digitisation, Representation, and Formalisation. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Davenport03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Davenport03
James H. Davenport:
MKM from Book to Computer: A Case Study. 17-29
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Coen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Coen03
Claudio Sacerdoti Coen:
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls. 30-44
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BorweinS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BorweinS03
Jonathan M. Borwein, Terry Stanway:
Managing Digital Mathematical Discourse. 45-55
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CarlisleD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CarlisleD03
David Carlisle, Mike Dewar:
NAG Library Documentation. 56-65
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Padovani03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Padovani03
Luca Padovani:
On the Roles of L^AT_EX and MathML in Encoding and Processing Mathematical Expressions. 66-79
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GoguadzeMUC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GoguadzeMUC03
Georgi Goguadze, Erica Melis, Carsten Ullrich, Paul A. Cairns:
Problems and Solutions for Markup for Mathematical Examples and Exercises. 80-92
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BabaS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BabaS03
Yusuke Baba, Masakazu Suzuki:
An Annotated Corpus and a Grammar Model of Theorem Description. 93-104
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/GuidiS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/GuidiS03
Ferruccio Guidi, Irene Schena:
A Query Language for a Metadata Framework about Mathematical Resources. 105-118
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BancerekR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BancerekR03
Grzegorz Bancerek, Piotr Rudnicki:
Information Retrieval in MML. 119-132
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HeumesserSG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HeumesserSG03
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseA03
Michael Kohlhase, Romeo Anghelache:
Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge. 147-161
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/RudnickiT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/RudnickiT03
Piotr Rudnicki, Andrzej Trybulec:
On the Integrity of a Repository of Formalized Mathematics. 162-174
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CairnsG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CairnsG03
Paul A. Cairns, Jeremy Gow:
A Theoretical Analysis of Hierarchical Proofs. 175-187
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Wiedijk03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Wiedijk03
Freek Wiedijk:
Comparing Mathematical Provers. 188-202
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Urban03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Urban03
Josef Urban:
Translating Mizar for First Order Theorem Provers. 203-215

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Marchiori03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Marchiori03
Massimo Marchiori:
The Mathematical Semantic Web. 216-224

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.