Peter Paule

According to our database, Peter Paule authored at least 35 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

MacMahon's partition analysis XIV: Partitions with <i>n</i> copies of <i>n</i>.

George E. Andrews, Peter Paule

J. Comb. Theory, Ser. A, April, 2024

Creative Telescoping for Hypergeometric Double Sums.

Peter Paule, Carsten Schneider

CoRR, 2024

2022

Error bounds for the asymptotic expansion of the partition function.

Koustav Banerje, Peter Paule, Cristian-Silviu Radu, Carsten Schneider

CoRR, 2022

2018

Towards a symbolic summation theory for unspecified sequences.

Peter Paule, Carsten Schneider

CoRR, 2018

2016

Holonomic Tools for Basic Hypergeometric Functions.

Christoph Koutschan, Peter Paule

CoRR, 2016

Workshop on symbolic combinatorics and algorithmic differential algebra.

Manuel Kauers, Peter Paule, Greg Reid

ACM Commun. Comput. Algebra, 2016

2013

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

2012

Relativistic Coulomb Integrals and Zeilberger's Holonomic Systems Approach II.

Christoph Koutschan, Peter Paule, Sergei K. Suslov

Proceedings of the Algebraic and Algorithmic Aspects of Differential and Integral Operators, 2012

2011

The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates.

Manuel Kauers, Peter Paule

Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-0445-3, 2011

2010

Automatic Improvements of Wallis' Inequality.

Peter Paule, Veronika Pillwein

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

2009

Algorithms in Symbolic Computation.

Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler

Proceedings of the Hagenberg Research, 2009

2008

Further developments in MacMahon's partition analysis (abstract only).

George E. Andrews, Peter Paule

ACM Commun. Comput. Algebra, 2008

Converging to Gosper's algorithm.

William Y. C. Chen, Peter Paule, Husam L. Saad

Adv. Appl. Math., 2008

2006

Bruno Buchberger - A life devoted to symbolic computation.

Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler

J. Symb. Comput., 2006

Hypergeometric Summation Algorithms for High-order Finite Elements.

A. Becirovic, Peter Paule, Veronika Pillwein, Axel Riese, Carsten Schneider, Joachim Schöberl

Computing, 2006

2005

Plane partitions VI: Stembridge's TSPP theorem.

George E. Andrews, Peter Paule, Carsten Schneider

Adv. Appl. Math., 2005

2003

Fountains, histograms, and q-identities.

Peter Paule, Helmut Prodinger

Discret. Math. Theor. Comput. Sci., 2003

Computer proofs of a new family of harmonic number identities.

Peter Paule, Carsten Schneider

Adv. Appl. Math., 2003

2002

A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers.

Russell Lyons, Peter Paule, Axel Riese

Appl. Algebra Eng. Commun. Comput., 2002

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

MacMahon's Partition Analysis: The Omega Package.

George E. Andrews, Peter Paule, Axel Riese

Eur. J. Comb., 2001

MacMahon's Partition Analysis: VIII. Plane Partition Diamonds.

George E. Andrews, Peter Paule, Axel Riese

Adv. Appl. Math., 2001

Wavelets with Scale Dependent Properties.

Peter Paule, Otmar Scherzer, Armin Schoisswohl

Proceedings of the Symbolic and Numerical Scientific Computation, 2001

2000

Problem 10831.

George E. Andrews, Peter Paule, Axel Riese

Am. Math. Mon., 2000

An Infinite Family of Engel Expansions of Rogers-Ramanujan Type.

George E. Andrews, Arnold Knopfmacher, Peter Paule

Adv. Appl. Math., 2000

1998

q-Hypergeometric solutions of q-difference equations.

Sergei A. Abramov, Peter Paule, Marko Petkovsek

Discret. Math., 1998

1996

A Proof of a Conjecture of Knuth.

Peter Paule

Exp. Math., 1996

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 Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities.

Peter Paule, Markus Schorn

J. Symb. Comput., 1995

Greatest Factorial Factorization and Symbolic Summation.

Peter Paule

J. Symb. Comput., 1995

1994

Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type.

Peter Paule

Electron. J. Comb., 1994

1993

Improvement of the Degree Setting in Gospers's Algorithm.

Petr Lisonek, Peter Paule, Volker Strehl

J. Symb. Comput., 1993

Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy.

George E. Andrews, Peter Paule

J. Symb. Comput., 1993

1992

Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors.

Peter Paule, Doron Zeilberger

J. Symb. Comput., 1992

1987

A note on Bailey's Lemma.

Peter Paule

J. Comb. Theory, Ser. A, 1987