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)|
|Creators||Davenport, J. H.|
|Editors||Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F.|
|Departments||Faculty of Science > Computer Science|
|Additional Information||Proceedings 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)