\Au"to*math\, n. [Gr. ?; ? self + ?, ?, to learn.] One who is self-taught. [R.] --Young.
A very high level language for writing proofs, from Eindhoven, Netherlands.
["The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions", N.G. deBruijn, in Symp on Automatic Demonstration, LNM 125, Springer 1970].
Webster's 1913 Dictionary