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].
having the capability of starting, operating, moving, etc., independently: an automatic sprinkler system; an automatic car wash. Physiology. occurring independently of volition, as certain muscular actions; involuntary. done unconsciously or from force of habit; mechanical: an automatic application of the brakes. occurring spontaneously: automatic enthusiasm. (of a firearm, pistol, etc.) utilizing the recoil or part […]
- 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.