A streamlined difference ring theory: Indefinite nested sums, the alternating sign and the parameterized telescoping problem release_yfrm2nr3kjg5xdsh23gpfhnggy

by Carsten Schneider

Released as a article .

2014  

Abstract

We present an algebraic framework to represent indefinite nested sums over hypergeometric expressions in difference rings. In order to accomplish this task, parts of Karr's difference field theory have been extended to a ring theory in which also the alternating sign can be expressed. The underlying machinery relies on algorithms that compute all solutions of a given parameterized telescoping equation. As a consequence, we can solve the telescoping and creative telescoping problem in such difference rings.
In text/plain format

Archived Files and Locations

application/pdf  206.1 kB
file_ud2yw4eoqra5lfidgxmbpqi2tq
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2014-12-08
Version   v1
Language   en ?
arXiv  1412.2782v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 60adf39f-309d-40c9-88e9-65b60e14304c
API URL: JSON