FEEDBACK Smiley face
Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings / [electronic resource] : edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport. - X, 230 p. online resource. - Lecture Notes in Computer Science, 2594 0302-9743 ; . - Lecture Notes in Computer Science, 2594 .

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.


10.1007/3-540-36469-2 doi

Computer science.
Mathematical logic.
Computer science--Mathematics.
Database management.
Information storage and retrieval.
Artificial intelligence.
Computer mathematics.
Computer Science.
Artificial Intelligence (incl. Robotics).
Information Storage and Retrieval.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Database Management.
Computational Mathematics and Numerical Analysis.

Q334-342 TJ210.2-211.495


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: