Author:
Guan Hao,Rao Yong-Sheng,Zhang Jing-Zhong,Cao Sheng,Qin Xiao-Lin
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference30 articles.
1. Gao X S, Jiang K. Survey on geometric constraint solving. Journal of Computer Aided Design & Computer Graphics, 2004, 16(4): 385-396. DOI: https://doi.org/10.3321/j.issn:1003-9775.2004.04.001. (in Chinese)
2. Zhang J Z, Ge Q, Peng X C. Educational technology research should be in-depth discipline. e-Education Research, 2010, (2): 8-13. DOI: 10.13811/j.cnki.eer.2010.02.009. (in Chinese)
3. Bokosmaty S, Mavilidi M F, Paas F. Making versus observing manipulations of geometric properties of triangles to learn geometry using dynamic geometry software. Computers & Education, 2017, 113: 313-326. DOI: https://doi.org/10.1016/j.compedu.2017.06.008.
4. Ye Z, Cou S C, Gao X S. Visually dynamic presentation of proofs in plane geometry. Journal of Automated Reasoning, 2010, 45(3): 213-241. DOI: https://doi.org/10.1007/s10817-009-9162-5.
5. Cou S C, Gao X S, Zhang J Z. Automated generation of readable proofs with geometric invariants. Journal of Automated Reasoning, 1996, 17(3): 325-347. DOI: https://doi.org/10.1007/BF00283133.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献