罗宾斯代数的方程、交换律、结合律和罗宾斯公理的猜想
罗宾斯猜想
参见
布尔代数, 罗宾斯代数, 罗宾斯公理使用 Wolfram|Alpha 探索
参考文献
Kolata, G. "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.McCune, W. "Solution of the Robbins Problem." J. Automat. Reason. 19, 263-276, 1997.McCune, W. "Robbins Algebras Are Boolean." http://www.cs.unm.edu/~mccune/papers/robbins/.在 Wolfram|Alpha 中被引用
罗宾斯猜想引用为
Weisstein, Eric W. "罗宾斯猜想。" 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/RobbinsConjecture.html