Automatic computation of limits
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
A new REDUCE model for algebraic simplification
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
The definition and use of data structures in REDUCE
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Univariate power series expansions in algebraic manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
A note on the complexity of algebraic differentiation
ACM SIGSAM Bulletin
Hi-index | 0.00 |
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.