VLDB 2026 Research / reviewers in the wild / expert
Peter Paule
dblp:93/112
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | MacMahon's partition analysis XV: ParityabstractWe 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 sumsabstractWe 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 |