Mathematica 9 is now available

Wolfram Library Archive


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

Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture
Author

Brandon Fitelson
Organization: University of Wisconsin–Madison
Department: Department of Philosophy
Conference

1997 Mathematica Developer Conference
Conference location

Champaign, IL
Subject

*Mathematics > Foundations of Mathematics > Logic
Related items

*Proof of Robbins' Conjecture   [in MathSource: Packages and Programs]
*Using Mathematica to Understand the Computer Proof of the Robbins Conjecture   [in Articles]
Downloads Download Wolfram CDF Player

Download
Robbins.nb (37.2 KB) - Mathematica Notebook