Efficient checking of polynomials and proofs and the hardness of approximation problems - Sudan, Madhu (Lecture notes in computer science, 1995)