Interactive Proofs
September 19, 2018, 12:15 PM - 1:15 PM
Location:
Mathematics Graduate Student Lounge -- 7th Floor
Rutgers University
Hill Center
Mathematics Department
110 Frelinghuysen Road
Piscataway, NJ 08854
Justin Semonsen, Rutgers University
What is a proof? What is a proof to a computer? In this talk, we will develop a number of ways to prove whether two graphs are isomorphic or not, and thereby explore the power and limitations of interactive proofs.