Using Mathematica 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 to Understand the Computer Proof of the Robbins Conjecture

Author

Organization:

University of Wisconsin�Madison

Department:

Department of Philosophy

Journal / Anthology

Mathematica in Education and Research

Year:

1998

Volume:

Issue:

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

robbinsProof.nb (242.1 KB) - Mathematica Notebook

WOLFRAM