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)