Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover

Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

Abstract

A novel approach to design an inclusive and accessible mathematical learning environment is presented: The technology of theorem proving shall be employed to support a student in solving mathematical problems by giving hints to him/her based on formal proofs of each step in a calculation. The system shall be made accessible by making use of the built-in accessibility coming with VSCode, a standard editor used as front-end for the theorem prover Isabelle.

Original languageEnglish
Title of host publicationComputers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings
EditorsKlaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz
PublisherSpringer
Pages47-55
Number of pages9
ISBN (Print)9783031086472
DOIs
Publication statusPublished - 2022
EventJoint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022 - Lecco, Italy
Duration: 11 Jul 202215 Jul 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13341 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceJoint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022
Country/TerritoryItaly
CityLecco
Period11.07.202215.07.2022

Keywords

  • Accessibility
  • Education
  • Mathematics
  • Theorem prover

Fingerprint

Dive into the research topics of 'Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover'. Together they form a unique fingerprint.

Cite this