The Robbins problem: computer proofs and human proofs

DOI10.1108/EUM0000000005698zbMath1014.68148MaRDI QIDQ2746807

Louis H. Kauffman

Publication date: 2 July 2002

Published in: Kybernetes (Search for Journal in Brave)

zbMATH Keywords

Boolean algebraRobbins problem

Mathematics Subject Classification ID

Related Items

Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors ⋮ EigenForm

Cites Work

• Absorption and idempotency criteria for a problem in near-Boolean algebras
• Unnamed Item