<--- Back to Details
| 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 |
Add to Reading List |
COMPUTER ASSISTED PROOFS: COMING SOON TO A THEOREM NEAR YOU By Sara Billey University of Washington March 23, 2015
![Computer assisted proof of optimal approximability results Uri Zwick ∗ 3-SAT and a 21 + ratio for MAX 3-CSP are both NP-hard tasks. In [KZ97] and [Zwi98] it was shown that the validity We obtain computer assisted pro](https://www.pdfsearch.io/img/43a01b788e27ffc08795c8f0214ba518.jpg "Computer assisted proof of optimal approximability results Uri Zwick ∗ 3-SAT and a 21 + ratio for MAX 3-CSP are both NP-hard tasks. In [KZ97] and [Zwi98] it was shown that the validity We obtain computer assisted pro")
