Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(online) ISSN 0273-0979(print)

Selections Reprinted from Mathematical Reviews

Review information:
Journal: Bull. Amer. Math. Soc. 44 (2007), 137-138
PII: S 0273-0979(06)01149-9
Published electronically: October 30, 2006
Full text: PDF



MR: 1614328 (99d:68077a)
Sanjeev Arora and Shmuel Safra
Probabilistic checking of proofs: a new characterization of NP. (English. English summary).
J. ACM 45, (1998), no. 1, 70--122.



MR: 1639346 (99d:68077b)
Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan and Mario Szegedy
Proof verification and the hardness of approximation problems. (English. English summary).
J. ACM 45, (1998), no. 3, 501--555.

Reviewed by: Oded Goldreich
Journal: Bull. Amer. Math. Soc. 44 (2007), 137-138
Article copyright: © Copyright 2006 American Mathematical Society