例证法与代数簇的包含关系 |
| |
引用本文: | 王东明.例证法与代数簇的包含关系[J].系统科学与数学,1989,9(1):040-046. |
| |
作者姓名: | 王东明 |
| |
作者单位: | 中国科学院系统科学研究所 |
| |
摘 要: | 1986年,洪加威教授发展吴文俊机器证明理论,提出了一类平面几何定理的例证法,这一方法依赖于 Ritt-吴整序原理和吴文俊教授关于升组不可约分解的构造性理论.我们发现例证法适用于证明所有等式型几何定理,即吴几何中的定理.本文应用吴和洪的方法叙述等式型几何定理的例证法,并考虑代数簇的包含关系.目前的讨论仅停留在理论上,这种方法能否用来证明非平凡的几何定理还有待于进一步研究和尝试.
|
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
| 点击此处可从《系统科学与数学》下载免费的PDF全文 |
|