Lecture Notes in Computer Science
© 2003
Mathematical Knowledge Management
Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Editors: Asperti, Andrea, Buchberger, Bruno, Davenport, James Harold (Eds.)
Free PreviewBuy this book
- Table of contents (17 chapters)
-
-
Digitisation, Representation, and Formalisation Digital Libraries of Mathematics
Pages 1-16
-
MKM from Book to Computer: A Case Study
Pages 17-29
-
From Proof-Assistants to Distributed Libraries of Mathematics: Tips and Pitfalls
Pages 30-44
-
Managing Digital Mathematical Discourse
Pages 45-55
-
NAG Library Documentation
Pages 56-65
-
Table of contents (17 chapters)
Read this book on SpringerLink
- Download Sample pages 1 PDF (51.6 KB)
- Download Table of contents PDF (47.2 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical Knowledge Management
- Book Subtitle
- Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
- Editors
-
- Andrea Asperti
- Bruno Buchberger
- James Harold Davenport
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 2594
- Copyright
- 2003
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-36469-6
- DOI
- 10.1007/3-540-36469-2
- Softcover ISBN
- 978-3-540-00568-1
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 230
- Topics
