A taxonomy of proof systems

MaRDI QIDQ4359458zbMATH OpenFDO

Authors Oded Goldreich

Publication date 8 October 1997

zbMATH Keywords

interactive proof systemsmulti-prover interactive proofsprobabilistically checkable proofs

Mathematics Subject Classification ID

Recommendations

• Probabilistic proof systems -- a survey
• scientific article; zbMATH DE number 850075
• scientific article; zbMATH DE number 4106274
• scientific article; zbMATH DE number 66620

Cited in

(8)

• Probabilistic verification of proofs in calculuses
• RETRPROV. A system that looks for axioms
• Probabilistic Proof Systems: A Primer
• Different approaches to proof systems
• Computationally-sound proofs
• scientific article; zbMATH DE number 1951638 (Why is no real title available?)
• System Description: The Proof Transformation System CERES
• Pi on earth, or mathematics in the real world

This page was built for publication: A taxonomy of proof systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4359458)