## View abstract

### Session S24 - Symbolic Computation: Theory, Algorithms and Applications

Tuesday, July 20, 16:00 ~ 16:25 UTC-3

## Mahler residues and telescopers for rational functions

### Carlos Arreche

We develop a notion of Mahler discrete residues for rational functions, with the desired property that a given rational function $f(x)$ is of the form $g(x^p)-g(x)$ for some rational function $g(x)$ (where $p$ is an integer $\geq 2$) if and only if all of its Mahler discrete residues vanish. We also show how to apply the technology of Mahler discrete residues to creative telescoping problems. This work extends to the Mahler case the earlier analogous notions, properties, and applications of discrete residues (in the shift case) and $q$-discrete residues (in the $q$-difference case) developed by Chen and Singer.