Proof checking is the process of using software for checking proofs for correctness. It is one of the most developed fields in
ee also
*
*
*
*
*
*
*
Wikimedia Foundation. 2010.
proof — [pro͞of] n. [ME profe < OFr prueve < LL proba < L probare: see PROBE] 1. the act or process of proving; a testing or trying of something 2. anything serving or tending to establish the truth of something, or to convince one of its truth; … English World dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof coinage — means special early samples of a coin issue, historically made for checking the dies and for archival purposes, but nowadays often struck in greater numbers specially for coin collectors (numismatists). Many countries now issue them. Production… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Proof-of-payment — or POP is an honor based fare collection approach used on many public transportation systems. Instead of checking each passenger as they enter a fare control zone, proof of payment requires that each passenger carry a ticket or pass proving that… … Wikipedia
proof-reading — checking written material, editing the print, rereading so as to correct mistakes, looking for mistakes … English contemporary dictionary
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
proof — n 1. validation, evidence, verification, proof positive, confirmation, ratification, authentication, Law. certification; conclusiveness, certainty, conviction, surety, assurance, guarantee. 2. documentation, document, substantiation,… … A Note on the Style of the synonym finder
checking — patikra statusas T sritis automatika atitikmenys: angl. checking; check up; proof; test; verification vok. Abgleichung, f; Eichung, f; Erprobung, f; Gerätetest, m; Prüfung, f rus. верификация, f; поверка, f pranc. essai, m; vérification, f … Automatikos terminų žodynas
proof — patikra statusas T sritis automatika atitikmenys: angl. checking; check up; proof; test; verification vok. Abgleichung, f; Eichung, f; Erprobung, f; Gerätetest, m; Prüfung, f rus. верификация, f; поверка, f pranc. essai, m; vérification, f … Automatikos terminų žodynas
