Wolfram Library Archive


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

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

Brandon Fitelson
Organization: University of Wisconsin–Madison
Department: Department of Philosophy
Journal / Anthology

Mathematica in Education and Research
Year: 1998
Volume: 7
Issue: 1
Page 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 Download Wolfram CDF Player

Download
robbinsProof.nb (242.1 KB) - Mathematica Notebook