初等几何定理的计算机证明课件

- 数学实验之十五---初等几何定理的计算机证明 - 中国科学技术大学数学系陈发来 - -  - 数学实