prover
English
Etymology
Noun
prover (plural provers)
- 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.
- 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:
Old French
Verb
prover
- Alternative form of prouver.
Conjugation
- Old French conjugation varies significantly by date and by region. The following conjugation should be treated as a guide.
Conjugation of prover (see also Appendix:Old French verbs)
| simple | compound | ||||||
|---|---|---|---|---|---|---|---|
| infinitive | prover | avoir prové, provez | |||||
| gerund | en provant | Use the gerund of avoir followed by the past participle | |||||
| present participle | provant | ||||||
| past participle | prové, provez | ||||||
| person | singular | plural | |||||
| first | second | third | first | second | third | ||
| indicative | jeo, jou | tu | il | nos, nous | vos, vous | ils | |
| simple tenses |
present | prove | proves | prove | provons | provez, provés | provent |
| imperfect | provoe, proveie, provoie | provoes, proveies, provoies | provot, proveit, provoit | provions, proviions | proviez, proviiez | provoent, provient, provoient | |
| past historic | prova | provas | prova | provames | provastes | proverent | |
| future | proverai | proveras | provera | proverons | proverez, provereiz | proveront | |
| conditional | proveroe, provereie, proveroie | proveroes, provereied, proveroied | proverot, provereie, proveroie | proverions, proveriions | proveriez, proveriiez | proveroent, provereient, proveroient | |
| compound tenses |
present perfect | Use the present tense of avoir followed by the past participle | |||||
| pluperfect | Use the imperfect tense of avoir followed by the past participle | ||||||
| past anterior | Use the past historic tense of avoir followed by the past participle | ||||||
| future perfect | Use the future tense of avoir followed by the past participle | ||||||
| conditional perfect | Use the conditional tense of avoir followed by the past participle | ||||||
| subjunctive | que jeo, jou | que tu | qu’il | que nos, nous | que vos, vous | qu’ils | |
| simple tenses |
present | prove | proves | prove | provons | provez | provent |
| imperfect | provasse | provasses | provast | provissons | provissez, provissiez | provassent | |
| compound tenses |
past | Use the present subjunctive of avoir followed by the past participle | |||||
| pluperfect | Use the imperfect subjunctive of avoir followed by the past participle | ||||||
| imperative | – | tu | – | nos, nous | vos, vous | – | |
| — | prove | — | provons | provez | — | ||
Portuguese
Verb
prover (first-person singular present indicative provejo, past participle provido)
- to provide (to give what is needed or desired)
Conjugation
Conjugation of the Portuguese -er verb prover
Notes:
- This is an irregular verb of the -er group.
- Verbs with this conjugation include: prover.
| Singular | Plural | |||||
|---|---|---|---|---|---|---|
| First-person (eu) |
Second-person (tu) |
Third-person (ele/ela/você) |
First-person (nós) |
Second-person (vós) |
Third-person (eles/elas/vocês) |
|
| Infinitive | ||||||
| Impersonal | prover | |||||
| Personal | prover | proveres | prover | provermos | proverdes | proverem |
| Gerund | ||||||
| provendo | ||||||
| Past participle | ||||||
| Masculine | provido | providos | ||||
| Feminine | provida | providas | ||||
| Indicative | ||||||
| Present | provejo | provês | provê | provemos | provedes | proveem Obsolete: provêem |
| Imperfect | provia | provias | provia | províamos | províeis | proviam |
| Preterite | provi | proviste | proveu | provemos | provestes | proveram |
| Pluperfect | provera | proveras | provera | provêramos | provêreis | proveram |
| Future | proverei | proverás | proverá | proveremos | provereis | proverão |
| Conditional | proveria | proverias | proveria | proveríamos | proveríeis | proveriam |
| Subjunctive | ||||||
| Present | proveja | provejas | proveja | provejamos | provejais | provejam |
| Imperfect | provesse | provesses | provesse | provêssemos | provêsseis | provessem |
| Future | prover | proveres | prover | provermos | proverdes | proverem |
| Imperative | ||||||
| Affirmative | - | provê | proveja | provejamos | provede | provejam |
| Negative (não) | - | provejas | proveja | provejamos | provejais | provejam |