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

Bernhard Stger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr

Browse the full ICCHP paper archive.