MKM from book to computer: A case study

Research output: Chapter or section in a book/report/conference proceedingChapter or section

7 Citations (SciVal)

Abstract

[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.
Original languageEnglish
Title of host publicationMathematical Knowledge Management, Proceedings
Pages17-29
Number of pages13
Volume2594
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science

Bibliographical note

ID number: ISI:000182563200002

Fingerprint

Dive into the research topics of 'MKM from book to computer: A case study'. Together they form a unique fingerprint.

Cite this