MKM from Book to Computer: A Case Study.
In: Mathematical Knowledge Management (9783540005681); 2003, p17-29, 13p
Buch
Zugriff:
[2] is one of the great mathematical knowledge repositories. Nevertheless, it was written for a different era, and for human readership. In this paper, we describe the sorts of knowledge in one chapter (elementary transcendental functions) and the difficulties in making this sort of knowledge formal. This makes us ask questions about the nature of a Mathematical Knowledge Repository, and whether a database is enough, or whether more "intelligence" is required. [ABSTRACT FROM AUTHOR]
Copyright of Mathematical Knowledge Management (9783540005681) is the property of Springer eBooks and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Titel: |
MKM from Book to Computer: A Case Study.
|
---|---|
Autor/in / Beteiligte Person: | Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; Asperti, Andrea ; Buchberger, Bruno ; Davenport, James Harold ; Davenport, James H. |
Quelle: | Mathematical Knowledge Management (9783540005681); 2003, p17-29, 13p |
Veröffentlichung: | 2003 |
Medientyp: | Buch |
ISBN: | 978-3-540-00568-1 (print) |
DOI: | 10.1007/3-540-36469-2_2 |
Sonstiges: |
|