This is an excellent tool to learn how to solve math problems. Students type the story problem. And the software is giving the answer in step-by-step solution. All the steps and explanations help students to understand how to look at a problem, see the key words, and reach to solutions. I think this can help parents to help their children in math as well.
The notes cover introduction to proofs, axioms of fields, complex numbers, some topology, and limits, continuity, derivatives, integrals, sequences and series. For teaching proof writing, many proofs contain in red color parts of proofs that should not be written down but should be thought.
V. Giraldo, L. Carvalho, und D. Tall. Proceedings of the 27 thAnnual Conference of the International Group for the Psychology of Mathematics Education, (2003)
L. Schröder, und T. Mossakowski. Journal of Logic and Computation, 14 (4):
571--619(2004)Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.
M. Lochau, S. Mennicke, H. Baller, und L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Volume 8802 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, Volume 47 von Fundamental Theories of Physics, Springer Netherlands, (1992)
D. Hestenes. Clifford Algebras and their Applications in Mathematical Physics, Volume 55 von Fundamental Theories of Physics, Springer Netherlands, (1993)
T. Langlands, B. Henry, und S. Wearne. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)