prover

English

Etymology

to prove + -er

Noun

prover (plural provers)

  1. A person, device, or program that performs logical or mathematical proofs
    • 2008, January 31, “Bart Van Kerkhove and Jean Paul Van Bendegem”, Pi on Earth, or Mathematics in the Real World, volume 68, number 3, DOI:10.1007/s10670-008-9102-5: 
      The prover belongs to a family of checking devices, Turing machines or sequences of these, that are capable of establishing the probable correctness of solutions for very large classes of problems.

↑Jump back a section

Old French

Verb

prover

  1. Alternative form of prouver.

Conjugation

  • Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.

↑Jump back a section

Portuguese

Verb

prover (first-person singular present indicative provejo, past participle provido)

  1. to provide (to give what is needed or desired)

Conjugation


↑Jump back a section

Swedish

Noun

prover

  1. indefinite plural of prov
↑Jump back a section

Read in another language

Last modified on 12 September 2012, at 09:07