This paper presents the modules and features of an e-learning system which can automatically assessing the answers of elementary algebra proving problems. The system translates the answer given by a student, which is written in Chinese, into its corresponding formal proof, which is the semantic of the original sentences in the answer, and then automatically verifies the correctness of the formal proof. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Li, B., & Li, L. (2011). Elementary algebra proof exercises using a theorem proving system. In Advances in Intelligent and Soft Computing (Vol. 124, pp. 275–280). https://doi.org/10.1007/978-3-642-25658-5_34
Mendeley helps you to discover research relevant for your work.