Editing Interactive proof system (section)

== External links ==
* Dexter Kozen. [https://web.archive.org/web/20050224021847/http://www.cs.cornell.edu/Courses/cs682/2004sp/Lectures/l15-ip.pdf Interactive Proofs]. CS682 Spring 2004 lecture notes. Department of Computer Science, Cornell University.
* [[Complexity Zoo]]: <!-- to do: use [[template:CZoo]] -->
** [https://web.archive.org/web/20100727022118/http://qwiki.stanford.edu/wiki/Complexity_Zoo:M#ma MA], [https://web.archive.org/web/20100727022118/http://qwiki.stanford.edu/wiki/Complexity_Zoo:M#maprime MA'], [https://web.archive.org/web/20100727022118/http://qwiki.stanford.edu/wiki/Complexity_Zoo:M#maexp MAEXP], [https://web.archive.org/web/20100727022118/http://qwiki.stanford.edu/wiki/Complexity_Zoo:M#mae MAE]
** [https://web.archive.org/web/20100727013744/http://qwiki.stanford.edu/wiki/Complexity_Zoo%3AA#am AM], [https://web.archive.org/web/20100727013744/http://qwiki.stanford.edu/wiki/Complexity_Zoo%3AA#amexp AMEXP], [https://web.archive.org/web/20100727013744/http://qwiki.stanford.edu/wiki/Complexity_Zoo%3AA#amicoam AM intersect co-AM], [https://web.archive.org/web/20100727013744/http://qwiki.stanford.edu/wiki/Complexity_Zoo%3AA#ampolylog AM<nowiki>[polylog]</nowiki>], [http://qwiki.caltech.edu/wiki/Complexity_Zoo:C#coam coAM], [https://web.archive.org/web/20100727033302/http://qwiki.stanford.edu/wiki/Complexity_Zoo%3AB#bpnp BP•NP]
** [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qma QMA], [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qma+ QMA+], [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qma2 QMA(2)], [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qmalog QMA<sub>log</sub>], [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qmam QMAM]
** [https://web.archive.org/web/20100727062035/http://qwiki.stanford.edu/wiki/Complexity_Zoo:I#ip IP], [https://web.archive.org/web/20100727022118/http://qwiki.stanford.edu/wiki/Complexity_Zoo:M#mip MIP], [https://web.archive.org/web/20100727062035/http://qwiki.stanford.edu/wiki/Complexity_Zoo:I#ipp IPP], [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qip QIP], [https://web.archive.org/web/20100727032326/http://qwiki.stanford.edu/wiki/Complexity_Zoo:Q#qip2 QIP(2)], [https://web.archive.org/web/20081023050027/http://qwiki.stanford.edu/wiki/Complexity_Zoo:C#compip compIP], [https://web.archive.org/web/20100727052636/http://qwiki.stanford.edu/wiki/Complexity_Zoo:F#frip frIP]
** [https://web.archive.org/web/20081204124245/http://qwiki.stanford.edu/wiki/Complexity_Zoo:P#pcp PCP(r(n),q(n))]
* Larry Gonick. "[https://web.archive.org/web/20120722015436/http://theory.cs.uchicago.edu/merlin/ Proof Positive?]". A comic strip about interactive proof systems.

{{ComplexityClasses}}

{{DEFAULTSORT:Interactive Proof System}}
[[Category:Computational complexity theory]]