author = {Vajda Robert},
title = {{Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools}},
language = {english},
year = {2009},
month = {June},
translation = {0},
school = {Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria},
keywords = {computer supported learning environment, computer algebra, automated reasoning, elementary analysis, quantifier elimination, Mathematica, Theorema},
length = {98}