Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Zhang, J.Z., Li, Y.B.: Automaic theorem proving for three decades. Journal of Systems Science and Mathematical Sciences (J. Sys. Sci. & Math. Scis.) 29, 1155–1168 (2009)
2. Wu, W.T.: On the Decision Problem and The Mechanization of Theorem Proving in Elemengtary Geometry. In: Automated Theorem Proving: After 25 years, vol. 29, pp. 213–214. American Mathematical Society (1984)
3. Chou, S.C.: Proving and dicoversing geometry theorems using Wu’s method. Ph.D. thsis. The University of Texas, Austin (1985)
4. Wang, D.: Reasoning about geometric problems using an elimination method. In: Pfalzgraf, J., Wang, D. (eds.) Automated Practical Reasoning, pp. 147–185. Springer, New York (1995)
5. Kapur, D.: Using Gröbner bases to reason about geometry problems. Journal of Symbolic Computation 2, 399–408 (1986)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献