Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd MKM 2003: Bertinoro, Italy
- 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
- 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 LATEX 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
a service of 
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.
last updated on 2024-06-19 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
