Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Gao, X.-S. (1999): Automated Geometry Diagram Construction and Engineering Geometry. In: Automated Deduction in Geometry (X.-S. Gao, D. Wang, and L. Yang, eds.), LNAI 1669, pp. 232–257. Springer, Berl in Heidelberg.
2. Gao, X.-S., Zhang, J.-Z., and Chou, S.-C. (1998): Geometry Expert (in Chinese). Nine Chapters Publ., Taiwan (
http://www.mmrc.iss.ac.cn
/~xgao/gex.html).
3. Durand, C. and Hoffmann, C. M. (2000): A Systematic Framework for Solving Geometric Constraints Analytically. J. Symbolic Computation
30, 493–519.
4. Richter-Gebert, J. and Kortenkamp, U. H. (1999): The Interactive Geometry Software Cinderella Springer, Berlin Heidelberg (
http://www.cinderella.de
/).
5. Wang, D. (1996): GEOTHER: A Geometry Theorem Prover. In: Automated Deduction (M. A. McRobbie and J. K. Slaney, eds.), LNAI 1104, pp. 166–170. Springer, Berlin Heidelberg (
http://calfor.lip6.fr
/~wang/GEOTHER/).
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献