1. 
   Automath
   Automath (automating mathematics) was a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical theories in such a way that an included automated proof checker can verify their correctness. The Automath system included many novel notions that wer...
   Found op http://en.wikipedia.org/wiki/Automath
   
   
2. 
   AUTOMATH
   (language, 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]. (2001-07-09)
   Found op http://foldoc.org/AUTOMATH
   
   
3. 
   Automath
   Au'to·math noun [ Greek ...; ... self + ..., ..., to learn.] One who is self-taught. [ R.] Young.
   Found op http://www.encyclo.co.uk/webster/A/149
   
   
4. 
   automath
   One who is self-taught. ... Origin: Gr.; self +, to learn. ... Source: Websters Dictionary ... (01 Mar 1998) ...
   Found op http://www.mondofacto.com/facts/dictionary?automath
   
   
5. 
   Automath
   • (n.) One who is self-taught.
   Found op http://thinkexist.com/dictionary/meaning/automath/
   
   
6. 
   automath
   automath Someone who is self-taught; self learning.
   Found op http://www.wordinfo.info/words/index/info/view_unit/1262/
   
   

Tip: double click on a word to show its meaning.