|
|||||
|
|
| 复数域上的机器定理证明 | |
| 引用本文： | 韩旭华,周海燕.复数域上的机器定理证明[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 维普 等数据库收录！ | |