scientific article; zbMATH DE number 1072531

zbMATH Open0880.68116MaRDI QIDQ4359458FDOQ4359458

Authors: Oded Goldreich 

Publication date: 8 October 1997

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

interactive proof systemsprobabilistically checkable proofsmulti-prover interactive proofs

Mathematics Subject Classification ID

Cited In (7)

• System Description: The Proof Transformation System CERES
• Probabilistic verification of proofs in calculuses
• Different approaches to proof systems
• Title not available (Why is that?)
• Probabilistic Proof Systems: A Primer
• Pi on earth, or mathematics in the real world
• RETRPROV. A system that looks for axioms

This page was built for publication:

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