follow Dictionary.com

Is Tuesday named for a one-handed god?

automath

automath in Technology

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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for automath

0
0
Scrabble Words With Friends