prove

(redirected from provers)
Also found in: Dictionary, Thesaurus.
Related to provers: Proverbs, Provera

prove

v. to present evidence and/or logic that makes a fact seem certain. What a party must do to convince a trier of fact (judge or jury without a judge) as to facts claimed and to win a lawsuit or criminal case. (See: proof)

Copyright © 1981-2005 by Gerald N. Hill and Kathleen T. Hill. All Right reserved.
References in periodicals archive ?
A related set of systems are interactive proof assistants or interactive theorem provers (ITPs).
The engineers involved first identified all areas of the prover that needed to be modified to accommodate the extremely low temperatures and dry conditions present in the cryogenic process.
Consequently, in this paper, we jointly employ certain elements of the reported protocols to achieve our main goal: development of the authentication protocols with asymmetric implementation complexity at Prover and Verifier sides which provides desired provable level of cryptographic security.
1) Normal-type adversaries cannot use a prover to converse with a verifier once its public key is replaced.
The latest tests have been carried out using only a compact prover, an Omni flow computer and a density meter.
The ability to prove interesting theorems in geometry and give readable proofs has been surpassed only recently by Chou, Gao, and Zhang (1994) in automated theorem provers using the area method that they perfected.
Called EQP for "equational prover," the automated reasoning software was developed by computer scientist William McCune of the Argonne National Laboratory in Illinois.
The 4th Generation family of small volume provers will be available for sale the first quarter of 2018.
The API Manual of Petroleum Standards, Chapter 4, "Proving Systems Section 2--Displacement Provers Appendix A" gives a mathematical explanation of sphere position repeatability.
The company will of course continue to service the needs of existing customers maintaining a full inventory of spare parts for Mondial Forni ovens and ancillary equipment, Mondial Freddo retarders and provers, Kemper mixers and Jongerius Hanco slicing and packing equipment.
In 1963, Francisco began Flow Technology, Inc., in Phoenix, AZ to build turbine meters and flow provers. He invented the calibration system known as the "small volume prover," utilizing his patented double-chronometry technique which has become a standard throughout the world and has greatly improved the accuracy of flow meter calibrations.