Proof of Robbins' Conjecture -- from Wolfram Library Archive

Title

Proof of Robbins' Conjecture

Author

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

Robbins.nb (121.3 KB) - Mathematica Notebook