[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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Davenport, J. H. (2003). MKM from book to computer: A case study. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2594, 17–29. https://doi.org/10.1007/3-540-36469-2_2
Mendeley helps you to discover research relevant for your work.