Probabilistically checkable proofs
Author(s) -
Madhu Sudan
Publication year - 2004
Publication title -
ias/park city mathematics series
Language(s) - Uncategorized
Resource type - Book series
eISSN - 2472-5064
pISSN - 1079-5634
DOI - 10.1090/pcms/010/12
Subject(s) - mathematical proof , computer science , mathematics , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom