@inproceedings{7722e43af135495c809ebebbe306bf8b,
title = "Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover",
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.",
keywords = "Accessibility, Education, Mathematics, Theorem prover",
author = "Bernhard St{\"o}ger and Klaus Miesenberger and Walther Neuper and Makarius Wenzel and Thomas Neumayr",
note = "Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022 ; Conference date: 11-07-2022 Through 15-07-2022",
year = "2022",
doi = "10.1007/978-3-031-08648-9_7",
language = "English",
isbn = "9783031086472",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "47--55",
editor = "Klaus Miesenberger and Georgios Kouroupetroglou and Katerina Mavrou and Roberto Manduchi and {Covarrubias Rodriguez}, Mario and Petr Pen{\'a}z",
booktitle = "Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings",
address = "Germany",
}