Efficient checking of polynomials and proofs and the hardness of approximation problems - Sudan, Madhu (Springer-Verlag, Incorporated, 1995)