First Page | Document Content | |
---|---|---|
Date: 2015-03-23 00:24:54Mathematical 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, 2015Add to Reading ListSource URL: www.math.washington.eduDownload Document from Source WebsiteFile Size: 1,18 MBShare Document on Facebook |