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

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

腾讯文库初等几何定理的计算机证明课件初等几何定理的计算机证明课件