Talk:Automath

Bcvv

Disambiguation page?
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
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)