RISC RISC Research Institute for Symbolic Computation  
  • @article{RISC3849,
    author = {Vajda Robert},
    title = {{An e-learning environment for elementary analysis: combining computer algebra, graphics and automated reasoning }},
    language = {english},
    journal = {Teaching Mathematics and Computer Science},
    volume = {7},
    number = {1},
    pages = {13--34},
    isbn_issn = {ISSN 1589 - 7389},
    year = {2009},
    refereed = {yes},
    institution = {University of Debrecen, Hungary},
    keywords = {computer algebra, elementary analysis, automated reasoning, extended quantifier elimination},
    length = {22}
    }