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
automath |
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]: AUTOMATH 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.
This work is licensed under a
