sphere packings; Kepler conjecture; discrete geometry;
机译:将SAT解算器与计算机代数系统相结合以验证组合猜想
机译:对所有小于1000亿的素数的Ankeny-Artin-Chowla猜想的计算机验证(vol 70,pg 1311,2001)
机译:所有小于1000亿的素数的Ankeny-Artin-Chowla猜想的计算机验证
机译:开普勒猜想的计算机验证
机译:琼斯未知结猜想(多达22个交叉点)的计算验证
机译:开普勒问题的对称性,Ligon-Schaaf逆映射和Birkhoff猜想
机译:开普勒猜想的计算机验证
机译:ankeny-artin-Chowla猜想的计算机验证,所有项目的总数少于211亿,而不是100 000 000 000.建模,分析和模拟