Home > Electronics Tutorials > Online Computer Terms Dictionary > A

Online Computer Terms Dictionary - A

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
 

Discover

     more......