# Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

### Antti Valmari

#### Abstract

We present an approach and a tool for automatically providing feedback on solutions that involve complicated reasoning patterns. Currently the tool supports linear systems of equations and inequations that may also contain the absolute value operator and a restricted form of rational functions. This suffices for designing problems that are laborious to solve with standard mechanical procedures, but much easier using short-cuts that students may find by creative thinking. Earlier research has found that struggling with important mathematics promotes conceptual development. Our goal is to encourage students to such struggling. A crucial feature is to give them great freedom to choose the paths via which they solve problems, and at any time ask the tool to check the work done so far, no matter what path was chosen. This was implemented by adopting standard notation from mathematical logic, and developing some new logical notation. The tool has been used in a course on elementary university-level mathematics. It has worked reliably, but there is not yet any statistics on the pedagogical merits. The tool is expected to also support quadratic (in)equations in the near future.

Download#### Paper Citation

#### in Harvard Style

Valmari A. (2021). **Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator**. In *Proceedings of the 13th International Conference on Computer Supported Education - Volume 2: CSEDU,* ISBN 978-989-758-502-9, pages 324-331. DOI: 10.5220/0010493103240331

#### in Bibtex Style

@conference{csedu21,

author={Antti Valmari},

title={Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator},

booktitle={Proceedings of the 13th International Conference on Computer Supported Education - Volume 2: CSEDU,},

year={2021},

pages={324-331},

publisher={SciTePress},

organization={INSTICC},

doi={10.5220/0010493103240331},

isbn={978-989-758-502-9},

}

#### in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Computer Supported Education - Volume 2: CSEDU,

TI - Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator

SN - 978-989-758-502-9

AU - Valmari A.

PY - 2021

SP - 324

EP - 331

DO - 10.5220/0010493103240331