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 Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz, editors, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11-15, 2022, Proceedings, Part I. Volume 13341 of Lecture Notes in Computer Science, pages 47-55, Springer, 2022. [doi]
Abstract is missing.