Automath
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)
Read Also:
- Automatic baud rate detection
automatic baud rate detection communications (abr, autobaud) a process by which a receiving device determines the speed, code level, and stop bits of incoming data by examining the first character, usually a preselected sign-on character. abr allows the receiving device to accept data from a variety of transmitting devices operating at different speeds without needing […]
- Automatic camera
noun a camera in which the lens aperture or the shutter speed or both are automatically adjusted to the prevailing conditions historical examples mr. ringold and mr. hadley were surprised and delighted at the news the boys brought, but they voted against the automatic camera. the moving picture boys on the coast victor appleton prochaska […]
- Automatic beat
automatic beat automatic beat au·to·mat·ic beat (ô’tə-māt’ĭk) n. an ectopic beat that arises anew and is not precipitated by the preceding beat.
- Automatic data processing
adp. historical examples it does not include in this figure any purchases of automatic data processing equipment. warren commission (5 of 26): hearings vol. v (of 15) the president’s commission on the -ss-ssination of president kennedy
- Automatic dialer
auto-dialer. a telephone device that makes possible a service feature (au·to-dial) whereby a call is automatically made in response to a brief input signal from the user, as the pressing of a b-tton.