Gosper's algorithm, accurate summation, and the discrete Newton-Leibniz formula

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 2005, Issue , 2005, Pages 5-12

  Abramov, S A ^a   Petkovsek M ^b  

^a DORODNICYN COMPUTING CENTER   (Russian Federation)

^b UNIVERSITY OF LJUBLJANA   (Slovenia)

Author keywords

Ac curate Summation algorithm; Gosper's algorithm; Newton Leibniz formula; Symbolic summation

Indexed keywords

ALGEBRA; ALGORITHMS; POLYNOMIALS;

AC-CURATE SUMMATION ALGORITHM; GOSPER'S ALGORITHM; NEWTON-LEIBNIZ FORMULA; SYMBOLIC SUMMATION;

COMPUTATIONAL METHODS;

EID: 33748974510     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1073884.1073888     Document Type: Conference Paper

References (10)

1. S. A. Abramov, Rational solutions of linear difference and differential equations with polynomial coefficients, USSR Comput. Math. Phys. 29 (1989), 7-12.
2. Transl. from Zh. vychisl. mat. mat. fyz. 29 (1989), 1611-1620.
3. S. A. Abramov, Rational solutions of linear difference and q-difference equations with polynomial coefficients, Programming and Comput. Software 21 (1995), 273-278.
4. Transl, from Programmirovanie 21 (1995), 3-11.
5. S. A. Abramov, M. van Hoeij, Integration of solutions of linear functional equations, Integral Transforms and Special Functions 8 (1999), 3-12.
6. S. A. Abramov, M. Petkovšek, Solution spaces of H-systems and the Ore-Sato theorem, Proceedings FPSAC '05, to appear.
7. F. Chyzak, An extension of Zeilberger's fast algorithm to general holonomic functions, Discrete Math. 217 (2000), 115-134.
8. R. W. Gosper, Jr., Decision procedure for indefinite hypergeometric summation, Proc. Natl. Acad. Sci. USA 75 (1978), 40-42.
9. I. Nemes, M. Petkovšek, H. S. Wilf, D. Zeilberger, How to do MONTHLY problems with your computer, Amer. Math. Monthly 104 (1997), 505-519.
10. M. Schorn, Contributions to Symbolic Summation, RISC, J. Kepler University, Diploma Thesis, December 1995.