Author:
An Wenya,Chen Xiaoyu,Wang Dongming
Publisher
Springer International Publishing
Reference21 articles.
1. Chen, X.: Representation and automated transformation of geometric statements. J. Syst. Sci. Complexity 27(2), 382–412 (2014)
2. Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74(3–4), 333–358 (2015)
3. Chen, X., Wang, D.: Formalization and specification of geometric knowledge objects. Math. Comput. Sci. 7(4), 439–454 (2013)
4. Chou, S.-C.: Mechanical Geometry Theorem Proving. D. Reidel, Dordrecht (1988)
5. Dehmer, M., Emmert-Streib, F., Kilian, J.: A similarity measure for graphs with low computational complexity. Appl. Math. Comput. 182, 447–459 (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献