AISC Meets Natural Typography

J H Davenport

doi:10.1007/978-3-540-85110-3_6

AISC Meets Natural Typography

Research output: Chapter or section in a book/report/conference proceeding › Book chapter

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.

Original language	English
Title of host publication	Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008
Editors	S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	53-60
Number of pages	8
Volume	5144
ISBN (Print)	978-3-540-85109-7
DOIs	https://doi.org/10.1007/978-3-540-85110-3_6
Publication status	Published - 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Bibliographical note

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

Access to Document

10.1007/978-3-540-85110-3_6

Cite this

@inbook{200a010c5d1d4ef589bc2ea3107e9a28,

title = "AISC Meets Natural Typography",

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.",

author = "Davenport, {J H}",

note = "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",

year = "2008",

doi = "10.1007/978-3-540-85110-3_6",

language = "English",

isbn = "978-3-540-85109-7",

volume = "5144",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "53--60",

editor = "S Autexier and J Campbell and J Rubio and V Sorge and M Suzuki and F Wiedijk",

booktitle = "Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008",

}

TY - CHAP

T1 - AISC Meets Natural Typography

AU - Davenport, J H

N1 - 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

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/978-3-540-85110-3_6

U2 - 10.1007/978-3-540-85110-3_6

DO - 10.1007/978-3-540-85110-3_6

M3 - Book chapter

SN - 978-3-540-85109-7

VL - 5144

T3 - Lecture Notes in Computer Science

SP - 53

EP - 60

BT - Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008

A2 - Autexier, S

A2 - Campbell, J

A2 - Rubio, J

A2 - Sorge, V

A2 - Suzuki, M

A2 - Wiedijk, F

PB - Springer

CY - Berlin, Heidelberg

ER -

AISC Meets Natural Typography

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this