Author:
Song Dan,Wang Dongming,Chen Xiaoyu
Publisher
Springer International Publishing
Reference14 articles.
1. Arai, N.H., Matsuzaki, T., Iwane, H., Anai, H.: Mathematics by machine. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Kobe, Japan, July 23–25, 2014), pp. 1–8. ACM Press, New York
2. Chen, T.C., Chung, K.L.: A new randomized algorithm for detecting lines. Real-Time Imaging 7(6), 473–481 (2001)
3. Chen, T.C., Chung, K.L.: An efficient randomized algorithm for detecting circles. Comput. Vis. Image Underst. 83(2), 172–191 (2001)
4. Chen, X.: Representation and automated transformation of geometric statements. J. Syst. Sci. Complex. 27(2), 382–412 (2014)
5. Chen, X., Song, D., Wang, D.: Automated generation of geometric theorems from images of diagrams. Geometric Reasoning – Special issue of Annals of Mathematics and Artificial Intelligence. Springer (2014). doi:
10.1007/s10472-014-9433-7
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献