COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015 - Computer-assisted proof - Document - PDFSEARCH.IO

First Page	Meta Content
	COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015 Add to Reading List Document Date: 2015-03-23 00:24:54 Open Document File Size: 1,18 MB Share Result on Facebook Country United States / / Facility COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March / / Organization University of Washington / / ProgrammingLanguage Mathematica / / TVShow Q.E.D. / / URL http / SocialTag Mathematical logic Proof theory Mathematical proof Theorem Four color theorem Pythagorean theorem Computer-assisted proof Proof Mathematics Logic

COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015Add to Reading List