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