×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [classical proof]
Documents
Proving Without Explaining, and Checking Without Understanding Scott Aaronson (MIT) Symposium on Proof, UPenn, Nov. 9, 2012 Looks good to me!
233 views
Education
Feasible Combinatorial Matrix Theory - MFCS2013
644 views
Documents
Probabilistically Checkable Proofs Madhu Sudan MIT CSAIL
218 views