Zimmermann, MarcHerding, Daniel2014-01-172014-01-172010http://hdl.handle.net/2003/3205510.17877/DE290R-13572deGesellschaft für Didaktik der Mathematik510Entwicklung einer computergestützten Lernumgebung für bidirektionale Umformungen in der Mengenalgebraconference contribution