AISC Meets Natural Typography


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)


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.


Item Type Conference or Workshop Items (UNSPECIFIED)
CreatorsDavenport, J. H.
EditorsAutexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F.
DepartmentsFaculty of Science > Computer Science
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


Actions (login required)

View Item