
05520243
j
2009b.00525
Zhang, Jingzhong
Peng, Xicheng
Automated reasoning and its applications in mathematics education.
J. Math. Educ. (Tianjin) 17, No. 4, 15 (2008).
2008
Editorial Department of Journal of Mathematics Education c/o Tianjin Normal University, Tianjin
ZH
R40
E50
G90
U70
artificial intelligence
computer algebra
mathematical software
automatical theorem proving
machine proofs
geometry
Summary: The history and significance of automated reasoning research is discussed in detail in this paper, and the applications of automated reasoning in mathematics education are reviewed from several different aspects such as geometric drawing, symbolic computing, geometric proof, animation design and machine learning. Lastly, suggestions are made for the development of intelligent software.