| 一类初等几何定理的机械化证明 |
| |
| 引用本文： | 谭红艳 吴尽昭. 一类初等几何定理的机械化证明[J]. 兰州大学学报(自然科学版), 1997, 33(3): 31-36 |
| |
| 作者姓名： | 谭红艳 吴尽昭 |
| |
| 作者单位： | 兰州大学计算机科学系(谭红艳)，北京大学数学系(吴尽昭) |
| |
| 摘 要： | 对一类初等几何定理，通过根理想的分解，给出一种机械化方法，利用这种方法，可恰好同时获得所时的不可约物征列，因而一类几何定量是一般真确的当且仅当终结多项式对这些不可约特征列的余式为零。
|
| 关 键 词： | 机械化证明 初等几何 几何定理 机器证明 |
Mechanical Demonstration for a Class of Elementary Geometric Theorems |
| |
| Tan Hongyan. Mechanical Demonstration for a Class of Elementary Geometric Theorems[J]. Journal of Lanzhou University(Natural Science), 1997, 33(3): 31-36 |
| |
| Authors: | Tan Hongyan |
| |
| Abstract: | By decomposing a radical ideal, a method can be given to obtain all the useful irreducible characteristic sets. Then, a geometric theorem is generally true if the remainders of the conclusion polynomial to these characteristic sets are zero. |
| |
| Keywords: | radical ideals irreducible characteristic sets remainders generally true geometric theorems |
| 本文献已被 CNKI 维普 等数据库收录！ |
