Research

MKM from book to computer: A case study


Reference:

Davenport, J. H., 2003. MKM from book to computer: A case study. In: Mathematical Knowledge Management, Proceedings. Vol. 2594. , pp. 17-29. (Lecture Notes in Computer Science)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

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.

Details

Item Type Book Sections
CreatorsDavenport, J. H.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5546
Additional InformationID number: ISI:000182563200002

Export

Actions (login required)

View Item