Logic in MathCheck

Antti Valmari

Tampere University of Technology, Mathematics

1. What Is MathCheck?
2. How Does MathCheck Work?
3. The Logic of Equation and Inequation Solving
4. Unknown ≠ Undefined
5. Examples of Logic Exercises
6. Conclusions