Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator
Valmari, A. (2021). Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator. In B. Csapó, & J. Uhomoibhi (Eds.), CSEDU 2021 : Proceedings of the 13th International Conference on Computer Supported Education. Vol. 2 (pp. 324-331). SCITEPRESS - Science and Technology Publications. https://doi.org/10.5220/0010493103240331
© Valmari & SCITEPRESS, 2021
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 universi ty-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. ...
PublisherSCITEPRESS - Science and Technology Publications
Parent publication ISBN978-989-758-502-9
ConferenceInternational Conference on Computer Supported Education
Is part of publicationCSEDU 2021 : Proceedings of the 13th International Conference on Computer Supported Education. Vol. 2
Publication in research information system
MetadataShow full item record
Showing items with similar title or keywords.
Makkonen, Pekka (University of Jyväskylä, 2014)
Hiltunen, Jenna; Hähkiöniemi, Markus; Jokiranta, Kaisa; Lehesvuori, Sami; Nieminen, Pasi; Viiri, Jouni (Finnish Mathematics and Science Education Research Association (FMSERA), 2017)Previous studies have reported difficulties in analysing students’ argumentation. Especially the warrant, which connects data with claims, is found to be problematic to recognise. Weexamine how specific criteria for ...
Hilgarth, Bernd (University of Jyväskylä, 2011)
Prospective mathematics teachers' informal and formal reasoning about the concepts of derivative and differentiability Viholainen, Antti (University of Jyväskylä, 2008)
RAN and learning disabilities : is there a special connection between mathematical difficulties and rapid automatized naming? Gaiani, Annika (2020)Tässä tutkimuksessa tutkittiin, onko matematiikan vaikeuksista (MV) kärsivillä lapsilla, myös ongelmia nopean sarjallisen nimeämisen (RAN) testissä. Tämän lisäksi tarkasteltiin, vaikuttaako matematiikan sujuvuusvaikeuden ...