Automath

2 definitions found

From The Collaborative International Dictionary of English v.0.48 [gcide]:

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

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:



  AUTOMATH
       
           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)