A computer-checked proof of the Four Colour Theorem

需积分: 9 12 下载量 180 浏览量 2008-10-11 15:19:15 上传 评论 1 收藏 593KB PDF 举报
preview