The Four-color Theorem; Undirected graph; Polygon triangulation;
机译:全息显示卷数据的方法:基于多边形和基于MIP的方法
机译:基于不动点定理和三角剖分的改进遗传算法
机译:基于逆方法的直觉逻辑定理证明
机译:一种基于无向图和多边形三角形测量的新方法,证明四色定理
机译:使用Wu方法和Collins方法对几何定理进行机械证明。
机译:膝关节置换队列六分钟步行测试的最低重要改善阈值:基于锚和分布的方法的三角剖分
机译:一种基于无向图和多边形三角形测量的新方法,证明四色定理
机译:平面线性图的一些标注定理:对四色问题的贡献