Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr,
"Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover"
, in Miesenberger et al.: Computers Helping People with Special Needs, Serie LNCS, Vol. 13341, Springer, Seite(n) 47, 7-2022, ISBN: 978-3-031-08647
Original Titel:
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover
Sprache des Titels:
Englisch
Original Buchtitel:
Computers Helping People with Special Needs
Original Kurzfassung:
A novel approach to design an inclusive and accessible math-ematical 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.