Interview with Peter Paule

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
The Andrews-Sellers family of partition congruences
A difference ring theory for symbolic summation
The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
Parameterized telescoping proves algebraic independence of sums
A fast algorithm for proving terminating hypergeometric identities
Theory of summation in finite terms
Lecture hall partitions
A holonomic systems approach to special functions identities
Congruences involving F-partition functions
A curious binomial identity
Computational proofs of congruences for \(2\)-colored Frobenius partitions
Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
The enumeration of totally symmetric plane partitions
Greatest factorial factorization and symbolic summation
A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
MacMahon's partition analysis XIII: Schmidt type partitions and modular forms
On the computation of identities relating partition numbers in arithmetic progressions with eta quotients: an implementation of Radu's algorithm
Finding modular functions for Ramanujan-type identities
Polyhedral omega: a new algorithm for solving linear Diophantine systems
Plane partitions. VI: Stembridge's TSPP theorem
Symbolic summation assists combinatorics
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields
Generalized Frobenius partitions
MacMahon's partition analysis XI: Broken diamonds and modular forms
Summation in Finite Terms
Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
Holonomic relations for modular functions and forms: First guess, then prove
The Holonomic Toolkit
Proof of a conjecture of Ramanujan
The Problem of Integration in Finite Terms

This page was built for publication: Interview with Peter Paule