Computer Dictionary/AUTOMATH

Jump to: navigation, search

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

Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/AUTOMATH":

None Discussion Now.

Add Discussion