Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
| Έκδοση: | 1st ed. 2003. |
| Σειρά: | Lecture Notes in Computer Science,
2594 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
