TY  - BOOK
AU  - Sudan, Madhu
TI  - Efficient checking of polynomials and proofs and the hardness of approximation problems
SN  - 9783540606154
SN  - 95050358
U1  - 512.9422 MAD 
PY  - 1995///
CY  - Berlin
PB  - Springer-Verlag
KW  - Automatic theorem proving
KW  - Computational complexity
KW  - NP-complete problems
N1  - Based on the author's Ph. D. thesis, University of California, Berkeley, 1993. Includes bibliographical references (p. [73]-78) and index
ER  -