by Louis H. Kauffman
This site will give a simplified proof of the Robbins problem, first solved by EQP, a computer program at Argonne Labs under the tutelage of William McCune. See William McCune's website.
These figures illustrate the axiom and its consequences. We give proofs of each of the consequences in Robbins.
This paper "The Robbins Problem: computer proofs and human proofs" was published in Kybernetes - The International Journal of Systems and Cybernetics, Gordon Pask Remembered and Celebrated: Part I, edited by Bernard Scott and Ranulph Glanville, Volume 30, Number 5/6 (2001).