|
|||||
|
|
An introduction to Wu's method for mechanical theorem proving in geometry |
|
| Authors: | Shang-Ching Chou |
| Affiliation: | (1) Institute for Computing Science, The University of Texas at Austin, 78712 Austin, Texas, USA |
| Abstract: | Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.The work reported here was supported by NSF Grant DCR-8503498. |
| Keywords: | Geometry theorem proving pseudo division Ritt's principle irreducible ascending chain generic point Feuerbach's theorem Thè bault's conjecture |
| 本文献已被 SpringerLink 等数据库收录！ | |