<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].

< Previous Terms Terms Containing AUTOMATH Next Terms >
automata theory
Automated Engineering Design
AUTOmated GRouPing system
Automated Retroactive Minimal Moderation
automated testing
Automatically Programmed Tools
automatic baud rate detection
automatic hyphenation
Automatic Mathematical TRANslation
Automatic Network Routing