Free Online Dictionary|3Dict


Source : Webster's Revised Unabridged Dictionary (1913)

Automath \Au"to*math\, n. [Gr. ?; ? self + ?, ?, to learn.]
   One who is self-taught. [R.] --Young.

Source : Free On-Line Dictionary of Computing

         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].
Sort by alphabet : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z