Using Mathematica 3 to Understand the Computer Proof of the Robbins Conjecture -- from Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Title

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

Author

Organization:

University of Wisconsin�Madison

Department:

Department of Philosophy

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

Robbins.nb (37.2 KB) - Mathematica Notebook

WOLFRAM