![Mathematical logic / Proof theory / Mathematical proof / Theorem / Four color theorem / Pythagorean theorem / Computer-assisted proof / Proof / Mathematics / Logic / Automated theorem proving Mathematical logic / Proof theory / Mathematical proof / Theorem / Four color theorem / Pythagorean theorem / Computer-assisted proof / Proof / Mathematics / Logic / Automated theorem proving](https://www.pdfsearch.io/img/a9580961801a83885f9014695242c17a.jpg)
| Document Date: 2015-03-23 00:24:54 Open Document File Size: 1,18 MBShare 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 |