Research

AISC Meets Natural Typography


Reference:

Davenport, J. H., 2008. AISC Meets Natural Typography. Berlin, Heidelberg: Springer, pp. 53-60. (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. (Contact Author)

Abstract

McDermott [12,13] introduced the concept “Artificial Intelligence meets Natural Stupidity”. In this paper, we explore how Artificial Intelligence and Symbolic Computation can meet Natural Typography, and how the conventions for expressing mathematics that humans understand can cause us difficulties when designing mechanised systems.

Details

Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsDavenport, J. H.
EditorsAutexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F.
DOI10.1007/978-3-540-85110-3_6
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code12355
Additional InformationProceedings of the 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. ID number: 5144

Export

Actions (login required)

View Item