Symbolic Proof of Limits of Functions in Mathematica with Applications to Mathematics Education | Publicación