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.