The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval. - Frédéric Chyzak; Peter Paule; Otmar Scherzer; Armin Schoisswohl; Burkhard Zimmermann (Exp. Math., 2001)

A Sister Celine type algorithm for definite summation and integration. - Burkhard Zimmermann (SIGSAM Bull., 2003)

Computing the algebraic relations of C-finite sequences and multisequences. - Manuel Kauers; Burkhard Zimmermann (J. Symb. Comput., 2008)

Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order - Stefan Gerhold; Manuel Kauers; Christoph Koutschan; Peter Paule; Carsten Schneider; Burkhard Zimmermann (CoRR, 2013)