 |
|
|
|
|
 |
 |
|
Using Mathematica to Understand the Computer Proof of the Robbins Conjecture
|
|
|
|
|
|
| Organization: | University of Wisconsin–Madison |
| Department: | Department of Philosophy |
|
|
|
|
|
|
| Mathematica in Education and Research |
|
|
|
|
|
|
The author uses Mathematica to show how an automated theorem-proving program resolved a long-standing mathematical conjecture.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
| robbinsProof.nb (242.1 KB) - Mathematica Notebook |
|
|
