You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, 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, ?, ALL