4 papers · 1 filter
Creative Telescoping
Shaoshi Chen, Manuel Kauers, Christoph Koutschan
These notes on creative telescoping are based on a series of lectures at the Institut Henri Poincare in November and December 2023.
A Shape Lemma for Ideals of Differential Operators
Manuel Kauers, Christoph Koutschan, Thibaut Verron
We propose a version of the classical shape lemma for zero-dimensional ideals of a commutative multivariate polynomial ring to the noncommutative setting of zero-dimensional ideals…
Non-minimality of minimal telescopers explained by residues
Shaoshi Chen, Manuel Kauers, Christoph Koutschan +3
Elaborating on an approach recently proposed by Mark van Hoeij, we continue to investigate why creative telescoping occasionally fails to find the minimal-order annihilating operat…
How to generate all possible rational Wilf-Zeilberger forms?
Shaoshi Chen, Christoph Koutschan, Yisen Wang
Wilf-Zeilberger pairs are fundamental in the algorithmic theory of Wilf and Zeilberger for computer-generated proofs of combinatorial identities. Wilf-Zeilberger forms are their hi…