E-Book, Englisch, Band 2594, 230 Seiten, eBook
Asperti / Buchberger / Davenport Mathematical Knowledge Management
Erscheinungsjahr 2007
ISBN: 978-3-540-36469-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
E-Book, Englisch, Band 2594, 230 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-36469-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
