机译：在不使用计算机的情况下获得四色定理的简要证明：用于证明四色定理的定理
机译：在图像处理算法的背景下对NTP（神经理定理）的洞察 - 探索HO列表和深脑的简单建议和短期通信：高阶定理的机器学习（ML）证明
机译：纯粹数学定理可以证明是正确的，但应用数学，自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译：时间参数化函数方法：利用Boyer-Moore定理Prover进行硬件验证的新方法
机译：用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译：有限场理论中的一些定理及其在费马最后定理中的应用
机译：Boyer-Moore定理证明者及其交互式增强
机译：与Boyer-moore定理证明器的相互作用：使用算术几何中值定理的教程研究
