Mathematical knowledge management : Second international conference MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2594 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical knowledge management, Second international conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings, Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.), 2003, Berlin, Springer, 1 vol. (X-223 p.), Lecture notes in computer science, 3-540-00568-4 • Mathematical Knowledge Management, Texte imprimé, 9783662164938 |
Taula de continguts:
- 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.