| A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING |
| |
| 作者姓名： | WU Jinzhao |
| |
| 作者单位： | 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(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 等数据库收录！ |
