编者注:本文是Atiyah1978年在日本数学会创立100周年纪念会上的演讲,刊登于"吉林师大学报"自然科学版1979年第2期,译者王家彦.30年多后的2010年, Atiyah 与 Dijkgraa... 来自: 算法与数学之美
自从世界著名的科学家吴文俊1977年的开创性工作以来,世界各地的研究人员已经在几何定理证明领域里面取得了卓越的成果.基于吴氏算法的计算机程序已经自动证明了成百上千个难的几何定理,例如费而巴赫定理,莫莱三分线定理,等等,而这些定理通常是需要...
这是大二时候的课程设计,里边的代码全都是用java语言编写的,实现了几何图形的三个版本,第一二个版本基本上就是在控制台输入然后统计,第三个版本,实