By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

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

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

Web Standards & Support: