author = {Wolfgang Schreiner},
title = {{On Proving Assistants in the Classroom (and Elsewhere)}},
booktitle = {{CADGME 2009, Computer Algebra and Dynamic Geometry Systems in Mathematics Education }},
language = {english},
pages = {XX--XX},
isbn_issn = {ISBN XXXXXXXX},
year = {2009},
note = {RISC, Castle of Hagenberg, Austria, July 11-13, 2009},
editor = {Csaba Sarvari et al.},
refereed = {no},
length = {8}