马修·博兰等人发布了《方程理论项目:推进大规模协作数学研究》的预印本,系统探索了4684个代数法则,利用自动定理证明工具等方法揭示了许多法则间的蕴含关系,但部分复杂蕴含仍需深入研究。
完成下面两步后,将自动完成登录并继续当前操作。