@**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}

}