初等几何定理的机器证明
日期：2020年11月10日 14:28 浏览量：[] 作者：吴忆平 邹进 来源：
| 标题： | 初等几何定理的机器证明 |
|---|---|
| 基金项目： | |
| 关键词： | 初等几何;机器证明;多项式环;理想;Grlbner基; |
| 摘要： | 本文利用数学家吴文俊就几何命题机器证明创建的吴法对一非平凡的几何命题代数化，给出了两种不同于吴法的算法，并在Ｍａｐｌｅ环境下运行证明了该命题． |
| 下载地址： |
初等几何定理的机器证明_吴忆平.pdf 已下载次 |
上一篇： 2─极大独立系及有关性质
