AUTOMATH
<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)
Nearby terms:
AUTOmated GRouPing system « Automated Retroactive
Minimal Moderation « automated testing « AUTOMATH
» Automatically Programmed Tools » automatic baud
rate detection » automatic hyphenation
|
