Dictionary: A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z



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].


Read Also:

  • Automatic

    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.

Disclaimer: Automath definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.