101 citations · 629 across the 59 of their papers we have counts for
Showing 2013 · cs.SCShow all
2 papers · 2 filters
cs.SC2013★ 51 cited
Creative Telescoping for Holonomic Functions
Christoph Koutschan
The aim of this article is twofold: on the one hand it is intended to serve as a gentle introduction to the topic of creative telescoping, from a practical point of view; for this…
cs.SC2013★ 2 cited
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
Stefan Gerhold, Manuel Kauers, Christoph Koutschan +3
We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear i…