Pages that link to "Item:Q2746807"
From MaRDI portal
The following pages link to The Robbins problem: computer proofs and human proofs (Q2746807):
Displaying 4 items.
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem (Q1273392) (← links)
- Robbins algebras vs. Boolean algebras (Q2767933) (← links)
- EigenForm (Q4672730) (← links)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors (Q4807997) (← links)