Preprints:
Papers:
with M. Barkatou and E. Pflugel:
ISOLDE: a Maple package for systems of linear functional equations. ACM SIGSAM Bulletin, 46(3/4), pp. 157–159, 2012. [pdf]
with J. Bluemlein, S. Klein and C. Schneider:
A Symbolic Summation Approach to Feynman Integral Calculus. J. Symbolic Comput. 47, pp. 1267-1289. 2012. [pdf]
with J. Bluemlein, S. Klein and C. Schneider:
A symbolic summation approach to Feynman integrals. ACM SIGSAM Bulletin 44(3/4), pp. 95-96. 2010. [pdf]
with Karen Kohl:
An Algorithmic Approach to the Mellin Transform Method. In: Gems in Experimental Mathematics. Contemporary Mathematics 517, pp. 207-218. 2010. AMS. [pdf]
On Recurrences for Ising Integrals. Adv. in Appl. Math. 45(3), pp. 334-345. 2010. [pdf]
Computer-Assisted Proofs of Special Function Identities Related to Poisson Integrals. Ramanujan Journal 20(1), pp. 55-67. 2009. [pdf]
PhD thesis:
Algorithms for Special Functions: Computer Algebra and Analytical Aspects. [pdf]
Notes:
Summary of Bruno Salvy’s talk at the Seminaire Philippe Flajolet in May 2011. [pdf]