Abstract
A survey on algorithms for summation in finite terms is given. After a precise definition of the problem the cases of polynomial and rational summands are treated. The main concern of this paper is a description of Gosper’s algorithm, which is applicable for a wide class of summands. Karr’s theory of extension difference fields and some heuristic techniques are touched on briefly.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cohen, J., Katcoff, J.: Symbolic Solution of Finite Difference Equations. ACM Trans. Math. Software 3/3, 261–271 (1977).
Gosper, R. W., Jr.: Decision Procedure for Indefinite Hypergeometric Summation. Proc. Nat. Acad. Sci. USA 75/1, 40–42 (1978).
Jordan, C.: Calculus of Finite Differences. Sopron, Hungary: Röttig and Romwalter 1939.
Karr, M.: Summation in Finite Terms. Mass. Comput. Assoc. Inc. Wakefield, Mass.: Techn. Rep. CA-7602–1911, 1976.
Karr, M.: Summation in Finite Terms. J. ACM 28/2, 305–350 (1981).
Moenck, R.: On Computing Closed Forms for Summation. MACSYMA 1977, 225–236.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Wien
About this chapter
Cite this chapter
Lafon, J.C. (1982). Summation in Finite Terms. In: Buchberger, B., Collins, G.E., Loos, R. (eds) Computer Algebra. Computing Supplementum, vol 4. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3406-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-7091-3406-1_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-81684-4
Online ISBN: 978-3-7091-3406-1
eBook Packages: Springer Book Archive