Symbolic summation with radical expressions

Authors:
Manuel Kauers;Carsten Schneider
Affiliations:
Johannes Kepler Universität, Linz, Austria;Johannes Kepler Universität, Linz, Austria
Venue:
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Year:
2007

Citing 5
Cited 2

Integration of elementary functions

Journal of Symbolic Computation
Summation in Finite Terms

Journal of the ACM (JACM)
Algebraic factoring and rational function integration

SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Finding telescopers with minimal depth for indefinite nested sum and product expressions

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Application of unspecified sequences in symbolic summation

Proceedings of the 2006 international symposium on Symbolic and algebraic computation

A refined difference field theory for symbolic summation

Journal of Symbolic Computation
Summation in finite terms using sage

ACM Communications in Computer Algebra

Quantified Score

Hi-index	0.00

Visualization

Abstract

An extension of Karr's summation algorithm is presented by which symbolic sums involving radical expressions can be simplified. We discuss the construction of appropriate difference fields as well as algorithms for solving difference equations in these fields. The paper is concluded by a list of identities found with an implementation of our techniques.