related to External links · 22Interactive proof system → AM, AMEXP, BP, Complexity Zoo, Computer Science, Cornell University, CS682 Spring, Department, Dexter Kozen, Interactive Proofs, IPP, Larry Gonick, MA, MAEAM, MAEXP, MIP, NPQMA, Proof Positive, QIP, QMA
related to Textbooks · 20Interactive proof system → Addison Wesley, Arora, Barak, Boaz, Cambridge University Press, Christos Papadimitriou, Complexity Theory, Computation, Computational Complexity, Games, Interactive Proof Systems, Introduction, ISBN, March, Michael Sipser, Modern Approach, PWS Publishing, Sanjeev, Section, Theory
related to MIP · 18Interactive proof system → Adding, Babai, Fortnow, Goldwasser, How, In, IP, IP's, Just, Lund, MIP, Multi, NEXPTIME, One, PCP, PSPACE, The, This
related to Zero knowledge · 15Interactive proof system → At, Avi Wigderson, Goldwasser, IP, Micali, Moti Yung, Not, NP, Oded Goldreich, Rackoff, Russell Impagliazzo, Silvio Micali, The, This, Zero-knowledge
related to PCP · 12Interactive proof system → Arora, Arthur, Babai's, IP, MA, Merlin, NP, PCP, RP, Safra's, There, While
related to Public coin protocol versus private coin protocol · 12Interactive proof system → At, Babai, Charles Rackoff, For, In, IP, MA, Shafi Goldwasser, Silvio Micali, They, This, VPVPVPV
related to background · 8Interactive proof system → After, As, Every, More, Often, Soundness, The, This
related to QIP · 3Interactive proof system → If, PSPACE, QIP
is a · 1Interactive proof system → abstract machine that models computation as the exchange of messages between two parties
