Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003

240 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Regular Contributions.- Digitisation, Representation, and Formalisation Digital Libraries of Mathematics.- MKM from Book to Computer: A Case Study.- From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls.- Managing Digital Mathematical Discourse.- NAG Library Documentation.- On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.- Problems and Solutions for Markup for Mathematical Examples and Exercises.- An Annotated Corpus and a Grammar Model of Theorem Description.- A Query Language for a Metadata Framework about Mathematical Resources.- Information Retrieval in MML.- An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG-Environment.- Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.- On the Integrity of a Repository of Formalized Mathematics.- A Theoretical Analysis of Hierarchical Proofs.- Comparing Mathematical Provers.- Translating Mizar for First Order Theorem Provers.- Invited Talk.- The Mathematical Semantic Web.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Datenbanken / Datenmanagement Data Warehousing
• ISBN: 9783540005681
• Sprache: Englisch
• Erscheinungsdatum: 05.02.2003
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Andrea Asperti, James Harold Davenport, Bruno Buchberger