| Publication | Date of Publication | Type |
|---|
| Creative telescoping for hypergeometric double sums | 2024-12-09 | Paper |
| Holonomic relations for modular functions and forms: first guess, then prove | 2024-10-10 | Paper |
| MacMahon's partition analysis. XV: Parity | 2024-10-08 | Paper |
| MacMahon's partition analysis. XIV: Partitions with \(n\) copies of \(n\) | 2024-01-15 | Paper |
| New inequalities for \(p(n)\) and \(\log p(n)\) | 2023-07-28 | Paper |
| An algorithm to prove holonomic differential equations for modular forms | 2022-11-11 | Paper |
| Error bounds for the asymptotic expansion of the partition function | 2022-09-16 | Paper |
| MacMahon's partition analysis XIII: Schmidt type partitions and modular forms | 2022-01-28 | Paper |
| Contiguous Relations and Creative Telescoping | 2022-01-18 | Paper |
| Construction of modular function bases for Γ0(121) related to p(11n+6) | 2021-10-01 | Paper |
| Holonomic relations for modular functions and forms: First guess, then prove | 2021-06-03 | Paper |
| A proof of the Weierstraß gap theorem not using the Riemann-Roch formula | 2020-02-20 | Paper |
| Holonomic Tools for Basic Hypergeometric Functions | 2019-05-27 | Paper |
| Rogers-Ramanujan functions, modular functions, and computer algebra | 2019-01-29 | Paper |
| Towards a symbolic summation theory for unspecified sequences | 2018-09-18 | Paper |
| A new witness identity for \(11\mid p(11n+6)\) | 2018-06-21 | Paper |
| Partition analysis, modular functions, and computer algebra | 2017-01-25 | Paper |
| Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I | 2015-04-01 | Paper |
| Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order | 2015-04-01 | Paper |
| Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach II | 2014-03-25 | Paper |
| The Andrews-Sellers family of partition congruences | 2012-07-20 | Paper |
| MacMahon’s Dream | 2012-07-10 | Paper |
| The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates | 2011-01-31 | Paper |
| Infinite families of strange partition congruences for broken 2-diamonds | 2011-01-17 | Paper |
| Henrici’s Friendly Monster Identity Revisited | 2010-01-13 | Paper |
| Converging to Gosper's algorithm | 2008-10-22 | Paper |
| MacMahon's partition analysis XII: Plane partitions | 2008-01-16 | Paper |
| A Computer Proof of Moll’s Log-Concavity Conjecture | 2007-11-01 | Paper |
| Bruno Buchberger -- a life devoted to symbolic computation (Preface to the special issue) | 2007-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5298135 | 2007-07-16 | Paper |
| MacMahon's partition analysis XI: Broken diamonds and modular forms | 2007-02-06 | Paper |
| Hypergeometric summation algorithms for high-order finite elements | 2007-01-08 | Paper |
| Plane partitions. VI: Stembridge's TSPP theorem | 2005-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4671055 | 2005-04-23 | Paper |
| The variance of the vertex degrees of randomly generated graphs | 2004-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460853 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449288 | 2004-02-08 | Paper |
| Computer proofs of a new family of harmonic number identities. | 2003-12-03 | Paper |
| MacMahon's partition analysis. VII: Constrained compositions | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4425672 | 2003-09-11 | Paper |
| A computer proof of a series evaluation in terms of harmonic numbers | 2003-03-13 | Paper |
| MacMahon's partition analysis. IX: \(k\)-gon partitions | 2002-10-23 | Paper |
| MacMahon's partition analysis. VIII: Plane partition diamonds | 2002-09-11 | Paper |
| q-ENGEL SERIES EXPANSIONS AND SLATER'S IDENTITIES | 2002-07-02 | Paper |
| MacMahon's partition analysis. VI: A new reduction algorithm | 2002-06-16 | Paper |
| Variants of the Andrews-Gordon identities | 2002-05-12 | Paper |
| Lattice paths, \(q\)-multinomials and two variants of the Andrews-Gordon identities | 2002-05-12 | Paper |
| MacMahon's partition analysis: The Omega package | 2002-02-14 | Paper |
| A Proof of a Conjecture of Knuth | 2001-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2724734 | 2001-11-13 | Paper |
| The concept of Bailey chains | 2001-11-06 | Paper |
| On \(q\)-Lagrange inversion | 2001-11-06 | Paper |
| \(q\)-identities (of Rogers-Ramanujan type) | 2001-11-06 | Paper |
| The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval | 2001-07-22 | Paper |
| Inversion statistics of MacMohan and of Goulden and Jackson | 2001-05-20 | Paper |
| An infinite family of Engel expansions of Rogers-Ramanujan type | 2000-11-16 | Paper |
| \(q\)-hypergeometric solutions of \(q\)-difference equations | 2000-03-07 | Paper |
| MacMahon's partition analysis. IV: Hypergeometric multisums | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362897 | 1997-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341407 | 1997-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4894791 | 1996-11-25 | Paper |
| A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities | 1996-07-18 | Paper |
| Greatest factorial factorization and symbolic summation | 1996-06-04 | Paper |
| Some questions concerning computer-generated proofs of a binomial double- sum identity | 1996-02-20 | Paper |
| Improvement of the degree setting in Gosper's algorithm | 1996-02-20 | Paper |
| Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type | 1995-04-06 | Paper |
| A note on Bailey's lemma | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3211319 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358775 | 1986-01-01 | Paper |
| On identities of the Rogers-Ramanujan type | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3688393 | 1985-01-01 | Paper |
