Niehaus, EngelbertPlatz, MelanieKrieger, MiriamWinter, Kathrin2016-11-232016-11-232016http://hdl.handle.net/2003/3550410.17877/DE290R-17545deGesellschaft für Didaktik der Mathematik510Elektronische Beweise in der Lehreconference contribution