 |
Title |
 |
 |
|
Using Mathematica to Understand the Computer Proof of the Robbins Conjecture |
|
|
|
Author |
|
|
|
Brandon Fitelson Organization: University of Wisconsin�MadisonDepartment: Department of Philosophy |
|
|
|
Journal / Anthology |
|
|
|
_Mathematica in Education and Research_Year: 1998Volume: 7Issue: 1Page range: 17-26 |
|
|
|
Description |
|
|
|
The author uses Mathematica to show how an automated theorem-proving program resolved a long-standing mathematical conjecture. |
|
|
|
Subject |
|
|
|
 Mathematics > Foundations of Mathematics > Logic |
|
|
|
Related items |
|
|
|
Proof of Robbins' Conjecture [in MathSource: Packages and Programs]Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture [in Conference Proceedings] |
|
|
|
Downloads |
 |
|
|
 robbinsProof.nb (242.1 KB) - Mathematica Notebook |
|
|