| 释义 |
Automath
Au´to`math
| n. | 1. | One who is self-taught. |
AUTOMATH
AUTOMATH (language, mathematics)A very high level language for writingproofs, from Eindhoven, Netherlands.
["The Mathematical Language AUTOMATH, Its Usage and Some ofits Extensions", N.G. deBruijn, in Symp on AutomaticDemonstration, LNM 125, Springer 1970]. |