Geodesic
Probabilistic verification of proofs
Documenta mathematica, ICM Berlin 1998, Vol. III (1998), pp. 461-470.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Classification : 68T15, 68Q10, 68Q15
Keywords: computational complexity, combinatorial optimization 
@article{DOCMA_1998__S9__a33,
     author = {Sudan, Madhu},
     title = {Probabilistic verification of proofs},
     journal = {Documenta mathematica},
     pages = {461--470},
     publisher = {mathdoc},
     volume = {ICM Berlin 1998, Vol. III},
     year = {1998},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a33/}
}
TY  - JOUR
AU  - Sudan, Madhu
TI  - Probabilistic verification of proofs
JO  - Documenta mathematica
PY  - 1998
SP  - 461
EP  - 470
VL  - ICM Berlin 1998, Vol. III
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a33/
LA  - en
ID  - DOCMA_1998__S9__a33
ER  - 
%0 Journal Article
%A Sudan, Madhu
%T Probabilistic verification of proofs
%J Documenta mathematica
%D 1998
%P 461-470
%V ICM Berlin 1998, Vol. III
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a33/
%G en
%F DOCMA_1998__S9__a33
Sudan, Madhu. Probabilistic verification of proofs. Documenta mathematica, ICM Berlin 1998, Vol. III (1998), pp. 461-470. http://geodesic.mathdoc.fr/item/DOCMA_1998__S9__a33/