 |
|
|
|
|
 |
 |
|
Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture
|
|
|
|
|
|
| Organization: | University of Wisconsin–Madison |
| Department: | Department of Philosophy |
|
|
|
|
|
|
1997 Mathematica Developer Conference
|
|
|
|
|
|
Champaign, IL
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
| Robbins.nb (37.2 KB) - Mathematica Notebook |
|
|
