Abstract: MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primarily a feedback tool, not an assessment tool. MathCheck is more faithful to established mathematical notation than most programs. Special attention has been given to rigorous processing of undefined expressions, such as division by zero. To make this possible, in addition to the two truth values “false” and “true”, it uses a third truth value “undefined”.(More)

MathCheck is a web-based tool for checking all steps of solutions to mathematics, logic and theoretical computer science problems, instead of checking just the final answers. It can currently deal with seven problem types related to arithmetic, logic, and syntax. Although MathCheck does have some ability to perform symbolic computation, checking is mostly based on testing with many combinations of the values of the variables in question. This introduces a small risk of failure of detection of errors, but also significantly widens the scope of problems that can be dealt with and facilitates providing a concrete counter-example when the student’s solution is incorrect. So MathCheck is primarily a feedback tool, not an assessment tool. MathCheck is more faithful to established mathematical notation than most programs. Special attention has been given to rigorous processing of undefined expressions, such as division by zero. To make this possible, in addition to the two truth values “false” and “true”, it uses a third truth value “undefined”.

Guests can use SciTePress Digital Library without having a SciTePress account. However, guests have limited access to downloading full text versions of papers and no access to special options.

Guests can use SciTePress Digital Library without having a SciTePress account. However, guests have limited access to downloading full text versions of papers and no access to special options.

Valmari, A. and Rantala, J. (2019). Arithmetic, Logic, Syntax and MathCheck.In Proceedings of the 11th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-367-4, pages 292-299. DOI: 10.5220/0007708902920299

@conference{csedu19, author={Antti Valmari. and Johanna Rantala.}, title={Arithmetic, Logic, Syntax and MathCheck}, booktitle={Proceedings of the 11th International Conference on Computer Supported Education - Volume 2: CSEDU,}, year={2019}, pages={292-299}, publisher={SciTePress}, organization={INSTICC}, doi={10.5220/0007708902920299}, isbn={978-989-758-367-4}, }

TY - CONF

JO - Proceedings of the 11th International Conference on Computer Supported Education - Volume 2: CSEDU, TI - Arithmetic, Logic, Syntax and MathCheck SN - 978-989-758-367-4 AU - Valmari, A. AU - Rantala, J. PY - 2019 SP - 292 EP - 299 DO - 10.5220/0007708902920299