This is a forum for presenting and discussing issues related to computer supported learning and teaching of mathematics. Our main focus is on how to create easily understandable solutions to mathematics problems and how to check the correctness of the solutions automatically. The focus is on mathematics education on middle and high school level, but the techniques we present are also quite usable for university level math and in vocational education.
We are using the digital math learning environment eMath Studio as our main environment. eMath Studio contains a digital editor for writing solutions to math problems, an automatic cloud based system for checking step-by-step that a solution is correct, a digital textbook series on computer based high school math, a digital notebook application, as well as a digital course environment for teaching mathematics.