Sommerhoff, DanielUfer, StefanBrunner, Esther2020-02-182020-02-182019http://hdl.handle.net/2003/3871010.17877/DE290R-20629deGesellschaft für Didaktik der Mathematik510Aspekte der Kodierung mathematischer Beweiseconference contribution