MKM from book to computer: A case study
In: MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003)Lecture notes in computer science :17-29
Konferenz
- print, 17 ref
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.
Titel: |
MKM from book to computer: A case study
|
---|---|
Autor/in / Beteiligte Person: | DAVENPORT, James H |
Link: | |
Quelle: | MKM 2003 : mathematical knowledge management (Bertinoro, 16-18 February 2003)Lecture notes in computer science :17-29 |
Veröffentlichung: | Berlin: Springer, 2003 |
Medientyp: | Konferenz |
Umfang: | print, 17 ref |
ISSN: | 0302-9743 (print) |
Schlagwort: |
|
Sonstiges: |
|