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
Mentioned in ?
References in periodicals archive ?
A related set of systems are interactive proof assistants or interactive theorem provers (ITPs).
Robust Computer Algebra, Theorem Proving, and Oracle AI
The 4th Generation family of small volume provers will be available for sale the first quarter of 2018.
Flow Management Devices Raises the Bar in Small Volume Proving. Introducing the 4th Generation Unidirectional Captive Displacement Prover (SVP).
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.
Enabling collusion resistant location proof and secure location sharing for mobile users
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.
Tackling harsh cryogenic conditions
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.
A Protocol for Provably Secure Authentication of a Tiny Entity to a High Performance Computing One
1) Normal-type adversaries cannot use a prover to converse with a verifier once its public key is replaced.
An efficient and provable secure certificateless identification scheme in the standard model
The latest tests have been carried out using only a compact prover, an Omni flow computer and a density meter.
Coriolis flowmeter proves itself
Called EQP for "equational prover," the automated reasoning software was developed by computer scientist William McCune of the Argonne National Laboratory in Illinois.
Computers and proof: applying automated reasoning to prove mathematical theorems
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].
An experiment in formal software development: using the B theorem prover on a VDM case study
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.
Proxim Earns PC Computing Magazine's "Best" Award with its Cordless Home/SOHO Networking Solution
Interactive theorem provers have demonstrated their potential as vehicles for formalising mathematics through achievements such as the verification of the Kepler Conjecture.
ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician
The API Manual of Petroleum Standards, Chapter 4, "Proving Systems Section 2--Displacement Provers Appendix A" gives a mathematical explanation of sphere position repeatability.
Different perspective on custody transfer measurement

Legal browser ?
Full browser ?