Talk:Automath
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Bcvv
Disambiguation page?[edit]
this is said to be a Autodidact in the article Autodidacticism perhaps a disambiguation page is in order? --Pete Iriarte (talk) 05:06, 3 March 2008 (UTC)
Billion-Dollar Brain[edit]
Part of an Automath Statement featured in the graphic design of Len Deighton's Billion-Dollar Brain book, on the endpapers. Something about calculating curves for armature loads. --Auric talk 22:41, 3 February 2018 (UTC)