The online English-English dictionary from The Project Gutenberg
Result for Automath
One who is self-taught.