2. MKM 2003:
Bertinoro, Italy
Andrea Asperti, Bruno Buchberger, James H. Davenport (Eds.):
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
Claudio Sacerdoti Coen:
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.
30-44
Luca Padovani:
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.
66-79
Josef Urban:
Translating Mizar for First Order Theorem Provers.
203-215
Invited Talk