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

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]

Authors

Bernhard Stöger

This author has not been identified. Look up 'Bernhard Stöger' in Google

Klaus Miesenberger

This author has not been identified. Look up 'Klaus Miesenberger' in Google

Walther Neuper

This author has not been identified. It may be one of the following persons: Look up 'Walther Neuper' in Google

Makarius Wenzel

This author has not been identified. Look up 'Makarius Wenzel' in Google

Thomas Neumayr

This author has not been identified. Look up 'Thomas Neumayr' in Google