Webster's Online Dictionary
with Multilingual Thesaurus Translation

 
Earth's largest dictionary with more than 1226 modern languages and Eve!

Definition: AUTOMATH

Part of Speech Definition
Noun 1. One who is self-taught.[Websters].

Source: Webster's Revised Unabridged Dictionary (1913)

 Top

Date "Automath" was first used in popular English literature: sometime before 1828. (references)

Etymology:Automath \Au"to*math\, noun. [expression of Greek origin; self + to learn.]. (references)

Specialty Definition: AUTOMATH

Domain Definition
Computing AUTOMATH 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) Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top

Topics by Level of Interest: AUTOMATH

Topics sorted by level of Interest Level (1=low, 600=high)     Topics sorted Alphabetically Level (1=low, 600=high)
Automath theorem prover 4     Automath theorem prover 4

Source: the editor, created by/for EVE to gauge likely levels of human interest in linguistically triggered topics (compiled across various sources, such as Wikipedia and specialty expression glosses).