AISC Meets Natural Typography

Research output: Chapter in Book/Report/Conference proceedingChapter

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 languageEnglish
Title of host publicationIntelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008
EditorsS Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages53-60
Number of pages8
Volume5144
ISBN (Print)978-3-540-85109-7
DOIs
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Fingerprint Dive into the research topics of 'AISC Meets Natural Typography'. Together they form a unique fingerprint.

Cite this