TY - JOUR AU - E. Ya. Dantsin TI - Randomized proofs in arithmetic JO - Zapiski Nauchnykh Seminarov POMI PY - 1995 SP - 49 EP - 71 VL - 220 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZNSL_1995_220_a3/ LA - ru ID - ZNSL_1995_220_a3 ER -