%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