A symbolic limit evaluation program in REDUCE
Steven J. Harrington · ACM SIGSAM Bulletin · 1979
A method for the automatic evaluation of algebraic limits is described. It combines many of the techniques previously employed, including top-down recursive evaluation, power series expansion, and L'Hôpital's rule. It introduces the concept of a special algebraic form for limits. The method has been implemented in MODE-REDUCE.