Mathematica 9 is now available

Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Proof of Robbins' Conjecture
Author

Brandon Fitelson
Organization: University of Wisconsin–Madison
Department: Department of Philosophy
Revision date

1997-01-20
Subject

*Mathematics > Foundations of Mathematics > Logic
Keywords

Robbin's conjecture, Robbin's equation, EQP proof, Winker conditions
Related items

*Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture   [in Conference Proceedings]
*Using Mathematica to Understand the Computer Proof of the Robbins Conjecture   [in Articles]
Downloads Download Wolfram CDF Player

Download
Robbins.nb (121.3 KB) - Mathematica Notebook