Help on query formulation
Automated reasoning and its applications in mathematics education. (Chinese. English summary)
J. Math. Educ. (Tianjin) 17, No. 4, 1-5 (2008).
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.
Classification: R40 E50 G90 U70
Valid XHTML 1.0 Transitional Valid CSS!