A note on Bailey's Lemma. - Peter Paule (J. Comb. Theory A, 1987)

Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors. - Peter Paule; Doron Zeilberger (J. Symb. Comput., 1992)

Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy. - George E. Andrews; Peter Paule (J. Symb. Comput., 1993)

Improvement of the Degree Setting in Gospers's Algorithm. - Petr Lisonek; Peter Paule; Volker Strehl (J. Symb. Comput., 1993)

Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type. - Peter Paule (Electron. J. Comb., 1994)

Greatest Factorial Factorization and Symbolic Summation. - Peter Paule (J. Symb. Comput., 1995)

A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. - Peter Paule; Markus Schorn (J. Symb. Comput., 1995)

An Infinite Sum from a Diffusion Problem (A. W. Overhauser and Y J. Kim). - István Nemes; Peter Paule; James A. Wilson (SIAM Rev., 1995)

A Proof of a Conjecture of Knuth. - Peter Paule (Exp. Math., 1996)

q-Hypergeometric solutions of q-difference equations. - Sergei A. Abramov; Peter Paule; Marko Petkovsek (Discret. Math., 1998)

An Infinite Family of Engel Expansions of Rogers-Ramanujan Type. - George E. Andrews; Arnold Knopfmacher; Peter Paule (Adv. Appl. Math., 2000)

Problem 10831. - George E. Andrews; Peter Paule; Axel Riese (Am. Math. Mon., 2000)

Wavelets with Scale Dependent Properties. - Peter Paule; Otmar Scherzer; Armin Schoisswohl (SNSC, 2001)

MacMahon's Partition Analysis: VIII. Plane Partition Diamonds. - George E. Andrews; Peter Paule; Axel Riese (Adv. Appl. Math., 2001)

MacMahon's Partition Analysis: The Omega Package. - George E. Andrews; Peter Paule; Axel Riese (Eur. J. Comb., 2001)

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 Computer Proof of a Series Evaluation in Terms of Harmonic Numbers. - Russell Lyons; Peter Paule; Axel Riese (Appl. Algebra Eng. Commun. Comput., 2002)

Computer proofs of a new family of harmonic number identities. - Peter Paule; Carsten Schneider (Adv. Appl. Math., 2003)

Fountains, histograms, and q-identities. - Peter Paule; Helmut Prodinger (Discret. Math. Theor. Comput. Sci., 2003)

Plane partitions VI: Stembridge's TSPP theorem. - George E. Andrews; Peter Paule; Carsten Schneider (Adv. Appl. Math., 2005)

Hypergeometric Summation Algorithms for High-order Finite Elements. - A. Becirovic; Peter Paule; Veronika Pillwein; Axel Riese; Carsten Schneider; Joachim Schöberl (Computing, 2006)

Bruno Buchberger - A life devoted to symbolic computation. - Hoon Hong; Deepak Kapur; Peter Paule; Franz Winkler 001 (J. Symb. Comput., 2006)

Converging to Gosper's algorithm. - William Y. C. Chen; Peter Paule; Husam L. Saad (Adv. Appl. Math., 2008)

Further developments in MacMahon's partition analysis (abstract only). - George E. Andrews; Peter Paule (ACM Commun. Comput. Algebra, 2008)

Algorithms in Symbolic Computation. - Peter Paule; Bruno Buchberger; Lena Kartashova; Manuel Kauers; Carsten Schneider; Franz Winkler 001 (Hagenberg Research, 2009)

Automatic Improvements of Wallis' Inequality. - Peter Paule; Veronika Pillwein (SYNASC, 2010)

The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. - Manuel Kauers; Peter Paule (Springer, 2011)

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II. - Christoph Koutschan; Peter Paule; Sergei K. Suslov (AADIOS, 2012)

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)

Workshop on symbolic combinatorics and algorithmic differential algebra. - Manuel Kauers; Peter Paule; Greg Reid (ACM Commun. Comput. Algebra, 2016)

Holonomic Tools for Basic Hypergeometric Functions. - Christoph Koutschan; Peter Paule (CoRR, 2016)

Towards a symbolic summation theory for unspecified sequences. - Peter Paule; Carsten Schneider (CoRR, 2018)

Error bounds for the asymptotic expansion of the partition function. - Koustav Banerje; Peter Paule; Cristian-Silviu Radu; Carsten Schneider (CoRR, 2022)

Asymptotics for the reciprocal and shifted quotient of the partition function. - Koustav Banerjee; Peter Paule; Cristian-Silviu Radu; Carsten Schneider (CoRR, 2024)

MacMahon's partition analysis XIV: Partitions with n copies of n. - George E. Andrews; Peter Paule (J. Comb. Theory A, 2024)

MacMahon's partition analysis XV: Parity. - George E. Andrews; Peter Paule (J. Symb. Comput., 2025)

Creative telescoping for hypergeometric double sums. - Peter Paule; Carsten Schneider (J. Symb. Comput., 2025)