Peter Paule

dblp:93/112 · DBLP profile ↗
← Back
8ranked-venue papers
4as first author
2since 2021 · last 2025
0000-0002-7264-7079ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 8 · 4 first-author · 2 since 2021
YearPublicationVenuePosition
2025 MacMahon's partition analysis XV: Parity
abstract
We apply the methods of partition analysis to partitions in which the parity of parts plays a role. We begin with an in-depth treatment of the generating function for the partitions from the first Göllnitz-Gordon identity. We then deduce a Schmidt-type theorem related to the false theta functions. We also consider: (1) position parity, (2) partitions with distinct even parts, (3) partitions with distinct odd parts. One of the corollaries of these last considerations is a new interpretation of Hei-Chi Chan's cubic partitions. A second part of our article is devoted to the algorithmic derivation of identities and arithmetic congruences related to the generating functions considered in part one, including cubic partitions. To this end, Smoot's implementation of Radu's Ramanujan-Kolberg algorithm is used. Finally, we give a short description which explains how to use the Omega package to derive special instances of the results of part one.
George E. Andrews, Peter Paule
J. Symb. Comput.2
2025 Creative telescoping for hypergeometric double sums
abstract
We present efficient methods for calculating linear recurrences of hypergeometric double sums and, more generally, of multiple sums. In particular, we supplement this approach with the algorithmic theory of contiguous relations, which guarantees the applicability of our method for many input sums. In addition, we elaborate new techniques to optimize the underlying key task of our method to compute rational solutions of parameterized linear recurrences.
Peter Paule, Carsten Schneider
J. Symb. Comput.1
2006 Bruno Buchberger - A life devoted to symbolic computation
Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler 0001
J. Symb. Comput.3
1995 Greatest Factorial Factorization and Symbolic Summation
Peter Paule
J. Symb. Comput.1
1995 A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities
Peter Paule, Markus Schorn
J. Symb. Comput.1
1993 Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy
George E. Andrews, Peter Paule
J. Symb. Comput.2
1993 Improvement of the Degree Setting in Gospers's Algorithm
Petr Lisonek, Peter Paule, Volker Strehl
J. Symb. Comput.2
1992 Special Issue: Symbolic Computation in Combinatorics - Foreword of the Guest Editors
Peter Paule, Doron Zeilberger
J. Symb. Comput.1