browse words by letter
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


  2  definitions  found 
  From  Webster's  Revised  Unabridged  Dictionary  (1913)  [web1913]: 
  Automath  \Au"to*math\,  n.  [Gr.  ?;  ?  self  +  ?,  ?,  to  learn.] 
  One  who  is  self-taught.  [R.]  --Young. 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [foldoc]: 
  Eindhoven,  Netherlands.  A  very  high  level  language  for 
  writing  proofs.  "The  Mathematical  Language  AUTOMATH,  Its 
  Usage  and  Some  of  its  Extensions",  N.G.  deBruijn  in  Symp  on 
  Automatic  Demonstration,  LNM  125,  Springer  1970.