[Chen, Mao; Peng, Xicheng; Liu, Sanya; He, Tengbaao] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.
[Ge, Qiang] Henan Univ, Inst Data & Knowledge Engn, Kaifeng 475001, Peoples R China.
通讯机构：
[Ge, Qiang] H
Henan Univ, Inst Data & Knowledge Engn, Kaifeng 475001, Peoples R China.
语种：
英文
期刊：
MATERIALS, INFORMATION, MECHANICAL, ELECTRONIC AND COMPUTER ENGINEERING (MIMECE 2016)
ISSN：
2475-885X
年：
2017
期：
mimece
页码：
126-131
会议论文集名称：
DEStech Transactions on Engineering and Technology Research
会议地点：
Sanya, PEOPLES R CHINA
会议主办单位：
[Chen, Mao;He, Tengbaao;Peng, Xicheng;Liu, Sanya] Cent China Normal Univ, Natl Engn Res Ctr E Learning, Wuhan 430079, Peoples R China.^[Ge, Qiang] Henan Univ, Inst Data & Knowledge Engn, Kaifeng 475001, Peoples R China.
CCNU from the colleges' basic research and operation of MOE [CCNU15A02006]
机构署名：
本校为第一机构
院系归属：
国家数字化学习工程技术研究中心
摘要：
Dynamic geometry technology has been extensively used in geometry education. To aid the teaching and learning of geometry reasoning, many efficient automated geometry reasoning algorithms have been integrated into the dynamic geometry system. However, the reasoning functionalities in most current dynamic geometry system cannot fully meet the requirement of the geometry reasoning education. To tap the educational potential of automated geometry reasoning to the maximum, we proposed the concept and implementation mechanism of constrained automated geometry reasoning in this paper, and developed ...
