TY - GEN

T1 - Symbolic proof of limits of functions in mathematica with applications to mathematics education

AU - Iglesias, Andrés

AU - Ipanaqué, Robert

PY - 2008

Y1 - 2008

N2 - Although the limit of a function at a point is one of the most important concepts in Mathematics, to prove symbolically its formal definition is a challenging exercise that requires a certain level of expertise usually out of the capabilities of most students. This paper introduces a new Mathematica package to prove symbolically the values of limits of functions in terms of δ and ∈. In addition to the case of finite limits at finite points, the cases of infinite limits and limits at the infinity are also considered. The package also includes additional commands for graphical output allowing the users to grasp the underlying ideas of this concept. In order to show the performance of the main commands, a comprehensive set of illustrative examples is provided. Some possible applications regarding Mathematics education at the classroom are also briefly discussed.

AB - Although the limit of a function at a point is one of the most important concepts in Mathematics, to prove symbolically its formal definition is a challenging exercise that requires a certain level of expertise usually out of the capabilities of most students. This paper introduces a new Mathematica package to prove symbolically the values of limits of functions in terms of δ and ∈. In addition to the case of finite limits at finite points, the cases of infinite limits and limits at the infinity are also considered. The package also includes additional commands for graphical output allowing the users to grasp the underlying ideas of this concept. In order to show the performance of the main commands, a comprehensive set of illustrative examples is provided. Some possible applications regarding Mathematics education at the classroom are also briefly discussed.

UR - http://www.scopus.com/inward/record.url?scp=52249112106&partnerID=8YFLogxK

U2 - 10.1109/ICCSA.2008.20

DO - 10.1109/ICCSA.2008.20

M3 - Conference contribution

AN - SCOPUS:52249112106

SN - 9780769532431

T3 - Proceedings - The International Conference on Computational Sciences and its Applications, ICCSA 2008

SP - 297

EP - 305

BT - Proceedings - The International Conference on Computational Sciences and its Applications, ICCSA 2008

T2 - International Conference on Computational Sciences and its Applications, ICCSA 2008

Y2 - 30 June 2008 through 3 July 2008

ER -