|
|||||
|
|
| 复数域上的机器定理证明 | |
| 引用本文： | 韩旭华 周海燕. 复数域上的机器定理证明[J]. 西北师范大学学报(自然科学版), 1998, 34(2): 18-24 |
| 作者姓名： | 韩旭华 周海燕 |
| 作者单位： | 西北师范大学计算机科学系，宁夏青铜峡铝厂中学数学组 |
| 摘 要： | 以吴方法和变量消去法为理论基础，给出了可用多项式方程组表示的定理的机器证明方法以及具体算法． |
| 关 键 词： | 机器定理证明 吴方法 变量消去法 |
Mechanical theorem proving on complex numbers field |
|
| Han Xuhua Ren Xiaokang. Mechanical theorem proving on complex numbers field[J]. Journal of Northwest Normal University Natural Science (Bimonthly), 1998, 34(2): 18-24 | |
| Authors: | Han Xuhua Ren Xiaokang |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ | |