Fast approximate probabilistically checkable proofsFunda ErgünRavi Kumaret al.2004Information and Computation
Checking approximate computations of polynomials and functional equationsFunda ErgünS. Ravi Kumaret al.2001SIAM Journal on Computing