Back to Results
First PageMeta Content
Mathematical logic / Proof theory / Mathematical proof / Theorem / Four color theorem / Pythagorean theorem / Computer-assisted proof / Proof / Mathematics / Logic / Automated theorem proving


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
UPDATE