Name
Abstract | ||
|---|---|---|
This paper presents a complete method to prove geometric theorem by decomposing the corresponding polynomial system into strong regular sets, by which one can compute some components for which the geometry theorem is true and exclude other components for which the geometry theorem is false. Two examples are given to show that the geometry theorems are conditionally true for some components which are excluded by other methods. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1007/BF02973445 | J. Comput. Sci. Technol. |
Keywords | DocType | Volume |
automated geometry theorem proving,strong regular set,corresponding polynomial system,complete method,geometry theorem,subsidiary condition,zero decomposition,geometric theorem,theorem proving | Journal | 19 |
Issue | ISSN | Citations |
6 | 1860-4749 | 0 |
PageRank | References | Authors |
0.34 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yongbin Li | 1 | 68 | 5.59 |
| Wu Liu | 2 | 0 | 1.35 |
| Xiao-Lin Xiang | 3 | 5 | 1.52 |