机译:在不使用计算机的情况下获得四色定理的简要证明:用于证明四色定理的定理
机译:基于反对流格罗布纳法的无坐标形式几何定理的自动证明和分析
机译:使用Clifford代数证明几何定理的重写系统的完整性
机译:证明了解几何施工问题的可验证解决的计算机定理
机译:致力于解决计算机图形学,医学和生物成像应用中的基本问题的自动几何算法。
机译:利用几何和拦截定理的新型被动跟踪方案
机译:计算机辅助学习中几何构造问题的解决
机译:与Boyer-moore定理证明器的相互作用:使用算术几何中值定理的教程研究