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)

prove

verb ascertain, ascertain as truth, confirm, corroborate, declarare, demonstrate, establish as truth, establish the genuineness of, essablish the validity of, evince, manifest, ostendere, probare, put to the proof, put to the test, show, show clearly, substantiate, support, uphold, validate, verify
Foreign phrases: In rebus manifestis, errat qui auctoritates legum allegat; quia perspicua vera non sunt probanda.In clear cases, he makes mistakes who cites legal authorities; for obvious truths are not to be proved.
See also: adduce, ascertain, bear, cite, confirm, convince, corroborate, demonstrate, disabuse, document, establish, evince, manifest, persuade, reason, show, state, substantiate, support, sustain, testify, validate, verify
References in periodicals archive ?
A related set of systems are interactive proof assistants or interactive theorem provers (ITPs).
The 4th Generation family of small volume provers will be available for sale the first quarter of 2018.
Witness: A witness is a device that is in closeness with the prover and is eager to create an STP proof for the prover ahead receiving his/her request.
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.
Called EQP for "equational prover," the automated reasoning software was developed by computer scientist William McCune of the Argonne National Laboratory in Illinois.
This category may itself be subdivided into provers for a specific logic like the Boyer-Moore prover [4] and LCF [12], and generic provers such as ELF [13], NuPRL [7], and Isabelle [24].
6 Mbps in a single-cell environment with an indoor coverage radius ofazine's 1998-HOC Editors' Gold Award for the beLAN2(TM) products, which were the first to mark long range, low power consumption, network scaAN products to OEMs and wireless solutions provers worldwide have selected RangeLAN2, includinfamily is fully compliant with the recently ratified IEEE 802.
Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture.
The API Manual of Petroleum Standards, Chapter 4, "Proving Systems Section 2--Displacement Provers Appendix A" gives a mathematical explanation of sphere position repeatability.