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