author = {W. Windsteiger},
title = {{Theorema: Automated Proving Meets Teaching of Mathematics}},
language = {english},
year = {2008},
month = {July 9},
note = {Contributed talk at International Congress on Mathematical Education, ICME 11, JEM Workshop},
institution = {University of Nuevo Leon, Monterrey, Mexico},
conferencename = {International Congress on Mathematical Education, ICME 11, JEM Workshop}