Symbolic Proof of Limits of Functions in Mathematica with Applications to Mathematics Education | IEEE Conference Publication | IEEE Xplore