Symbolic summation with radical expressions

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

Volumn , Issue , 2007, Pages 219-226

  Kauers, Manuel ^a   Schneider, Carsten ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Algebraic functions; Difference fields; Square roots; Symbolic summation

Indexed keywords

ALGORITHMS; DIFFERENCE EQUATIONS; PROBLEM SOLVING;

ALGEBRAIC FUNCTIONS; DIFFERENCE FIELDS; RADICAL EXPRESSIONS; SQUARE ROOTS; SYMBOLIC SUMMATION;

POLYNOMIALS;

EID: 36349032286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1277548.1277579     Document Type: Conference Paper

References (16)

1. S. Abramov and E. Zima. A universal program to uncouple linear systems. In Proceedings of CMCP'97, 1997.
2. M. Bronstein. On the integration of elementary functions. J. Symbol. Comput., 9:117-173, 1990.
3. M. Deuring. Lectures on the theory of algebraic functions of one variable. Springer, 1973.
4. S. Gerhold. Uncoupling systems of linear Ore operator equations. Master's thesis, RISC-Linz, 2002.
5. S. Gerhold. On some non-holonomic sequences. Electronic Journal of Combinatorics, 11(1):1-8, 12 2004.
6. M. Karr. Summation in finite terms. J. ACM, 28:305-350, 1981.
7. M. Kauers and C. Schneider. Application of unspecified sequences in symbolic summation. In J. Dumas, editor, Proc. ISSAC'06., pages 177-183. ACM Press, 2006.
8. M. Kauers and C. Schneider. Indefinite summation with unspecified summands. Discrete Math., 306(17):2021-2140, 2006.
9. M. Petkovšek, H. S. Wilf, and D. Zeilberger. A = B. A. K. Peters, Wellesley, MA, 1996.
10. R. Risch. The solution of problem of integration in finite terms. Bulletin of the American Mathematical Society, 79:605-608, 1970.
11. C. Schneider. Finding telescopers with minimal depth for indefinite nested sum and product expressions. In M. Kauers, editor, Proc. ISSAC'05, pages 285-292. ACM, 2005.
12. C. Schneider. A new Sigma approach to multi-summation. Advances in Applied Math., 34(4):740-767, 2005.
13. C. Schneider. Solving parameterized linear difference equations in terms of indefinite nested sums and products. J. Differ. Equations Appl., 11(9):799-821, 2005.
14. C. Schneider. Symbolic summation assists combinatorics. Sem. Lothar. Combin., 56:1-36, 2007. Article B56b.
15. B. Trager. Algebraic factoring and rational function integration. In R. Jenks, editor, Proc. of the ACM Symposium on Symbolic and Algebraic Computation, pages 219-226, 1976.
16. B. Zürcher. Rationale Normalformen von pseudo-linearen Abbildungen. Master's thesis, ETH Zürich, 1994.