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  -