| A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING |
| |
| 引用本文： | WU Jinzhao(Institute of Systems Science,Academia Sinica,Beijing 100080,China)TAN Hongyan(Dopartment of Computer Science,Lanzhou University,Lanzhou 730000,China). A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING[J]. 系统科学与复杂性, 1996, 0(4) |
| |
| 作者姓名： | WU Jinzhao(Institute of Systems Science Academia Sinica Beijing 100080 China)TAN Hongyan(Dopartment of Computer Science Lanzhou University Lanzhou 730000 China) |
| |
| 作者单位： | WU Jinzhao(Institute of Systems Science，Academia Sinica，Beijing 100080，China)TAN Hongyan(Dopartment of Computer Science，Lanzhou University，Lanzhou 730000，China) |
| |
| 摘 要： | ＡＭＥＴＨＯＤＦＯＲＭＥＣＨＡＮＩＣＡＬＧＥＯＭＥＴＲＹＴＨＥＯＲＥＭＰＲＯＶＩＮＧ￥ＷＵＪｉｎｚｈａｏ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ）ＴＡＮＨｏｎｇｙａｎ（...
|
A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING |
| |
| WU Jinzhao. A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING[J]. Journal of Systems Science and Complexity, 1996, 0(4) |
| |
| Authors: | WU Jinzhao |
| |
| Abstract: | A method for mechanical geometry theorem proving is presented. By using this method, if the ascending chains derived via Wu-Ritt's well ordering algorithm satisfy a condition, all the irreducible characteristic sets we need can be obtained at the same time, and the general case can be reduced to this special case. Thus whether a geometry theorem is generally true can be decided. |
| |
| Keywords: | Wu-Ritt well ordering algorithm prime ideals irreducible characteristic sets |
| 本文献已被 CNKI 等数据库收录！ |
