automatic checking – Digital Math Education

An Overview of Structured Derivations

By Ralph-Johan Back April 21, 2020Generalautomatic checking, calculational proofs, justifications, math editor, proof context, proof language, structured derivations

Structured derivations is the underlying format for writing mathematical derivations in eMath Studio. We give here an overview of the format, and then describe typical ways in which the format is used. The main principles behind structured derivations are the following: The way…

Solving Word Problems

By Ralph-Johan Back April 19, 2020General, High school, How to video, Middle schoolassumptions, automatic checking, solution strategy, word problems

We show here a systematic step-by-step approach to solve a word problem in eMath Studio. We describe the different elements needed, and show how to check that the solution is correct with eMathChecker.

Creating and Checking a Simple Calculation

By Ralph-Johan Back April 18, 2020General, How to video, Middle schoolarithmetic calculations, automatic checking, eMath checker, eMath editor, fixing errors

We will show here hands-on how to create a simple arithmetic calculation in eMath Studion, check its correctness and how to fix errors in derivations.

Fixing the Broken Feedback Loop

By Ralph-Johan Back April 18, 2020Generalautomatic checking, flipped classroom, self-studies, student feedback, tutors

The traditional way of teaching mathematics in a classroom does not work that well for many students. One of the main reason is that students do not get proper personal feedback on their assignment solutions. We analyse this situation, and show how to improve the situation substantially, by using automatic computer checking of students' solutions.