Author:
Chen Mingyan,Zeng Zhenbing
Publisher
Springer International Publishing
Reference23 articles.
1. Chou, S.C.: Proving elementary geometry theorem using Wu’s Algorithm. Department of Mathematics, University of Texas at Austin, Ph.D. thesis (1985)
2. Wu, W.T.: Basic principles of mechanical theorem proving in elementary geometries. J. Symb. Comput. 2(4), 221–25 (1986)
3. Kapur, D.: Using Grobner bases to reason about geometry problems. J. Symb. Comput. 2, 399–408 (1986)
4. Kutzler, B., Stifter, S.: Automated geometry theorem proving using Buchberger’s algorithm. In: On Symbolic and Algebraic Computation, pp. 209–214. ACM Press (1986)
5. Kapur, D., Saxena, T., Yang, L.: Algebraic and geometric reasoning using Dixon resultant. In: Proceedings of ISSAC 1994, vol. 7, pp. 97–107 (1994)