AISC Meets Natural Typography

Authors:
James H. Davenport
Affiliations:
Department of Computer Science, University of Bath, Bath, United Kingdom BA2 7AY
Venue:
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Year:
2008

Citing 4
Cited 0

“According to Abramowitz and Stegun” or arccoth needn't be uncouth

ACM SIGSAM Bulletin - Special issue of OpenMath
MKM from Book to Computer: A Case Study

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Artificial intelligence meets natural stupidity

ACM SIGART Bulletin
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,

Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,

Quantified Score

Hi-index	0.00

Visualization

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.