1. One who is self-taught. 2. AUTOMATH mathematics> 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].
automath |
