id: 05520243
dt: j
an: 2009b.00525
au: Zhang, Jingzhong; Peng, Xicheng
ti: Automated reasoning and its applications in mathematics education.
so: J. Math. Educ. (Tianjin) 17, No. 4, 1-5 (2008).
py: 2008
pu: Editorial Department of Journal of Mathematics Education c/o Tianjin Normal
University, Tianjin
la: ZH
cc: R40 E50 G90 U70
ut: artificial intelligence; computer algebra; mathematical software;
automatical theorem proving; machine proofs; geometry
ci:
li:
ab: 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.
rv: