Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

AUTOMATH

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

©2018 Martin Webb