Computing Dictionary

AUTOMATH definition

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

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
Previous Definition: automatedteller machine
Next Definition: automatic
Words Near: automath
More from
Synonyms and Antonyms for automath
More from
Search for articles containing automath
More from Translator Word FAQs presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature