RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC3853,
    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}
    }