| Publication | Date of Publication | Type |
|---|
Creative telescoping for hypergeometric double sums
Journal of Symbolic Computation | 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
Journal of Symbolic Computation | 2024-10-08 | Paper |
MacMahon's partition analysis. XIV: Partitions with \(n\) copies of \(n\)
Journal of Combinatorial Theory. Series A | 2024-01-15 | Paper |
New inequalities for \(p(n)\) and \(\log p(n)\)
The Ramanujan Journal | 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
Journal of Number Theory | 2022-01-28 | Paper |
Contiguous relations and creative telescoping
Texts & Monographs in Symbolic Computation | 2022-01-18 | Paper |
Construction of modular function bases for \(\Gamma_0 (121)\) related to \(p(11n+6)\)
Integral Transforms and Special Functions | 2021-10-01 | Paper |
Holonomic relations for modular functions and forms: First guess, then prove
International Journal of Number Theory | 2021-06-03 | Paper |
A proof of the Weierstraß gap theorem not using the Riemann-Roch formula
Annals of Combinatorics | 2020-02-20 | Paper |
Holonomic tools for basic hypergeometric functions
Frontiers in Orthogonal Polynomials and q-Series | 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
Recent Trends in Combinatorics | 2017-01-25 | Paper |
Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I
Texts & Monographs in Symbolic Computation | 2015-04-01 | Paper |
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
Texts & Monographs in Symbolic Computation | 2015-04-01 | Paper |
Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach II
Algebraic and Algorithmic Aspects of Differential and Integral Operators | 2014-03-25 | Paper |
The Andrews-Sellers family of partition congruences
Advances in Mathematics | 2012-07-20 | Paper |
MacMahon’s Dream
Partitions, q-Series, and Modular Forms | 2012-07-10 | Paper |
The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
Texts & Monographs in Symbolic Computation | 2011-01-31 | Paper |
Infinite families of strange partition congruences for broken 2-diamonds
The Ramanujan Journal | 2011-01-17 | Paper |
Henrici’s Friendly Monster Identity Revisited
Advances in Combinatorial Mathematics | 2010-01-13 | Paper |
Converging to Gosper's algorithm
Advances in Applied Mathematics | 2008-10-22 | Paper |
MacMahon's partition analysis XII: Plane partitions
Journal of the London Mathematical Society | 2008-01-16 | Paper |
A Computer Proof of Moll’s Log-Concavity Conjecture
Proceedings of the American Mathematical Society | 2007-11-01 | Paper |
Bruno Buchberger -- a life devoted to symbolic computation (Preface to the special issue)
Journal of Symbolic Computation | 2007-10-23 | Paper |
| Truncating binomial series with symbolic summation | 2007-07-16 | Paper |
MacMahon's partition analysis XI: Broken diamonds and modular forms
Acta Arithmetica | 2007-02-06 | Paper |
Hypergeometric summation algorithms for high-order finite elements
Computing | 2007-01-08 | Paper |
Plane partitions. VI: Stembridge's TSPP theorem
Advances in Applied Mathematics | 2005-08-01 | Paper |
| scientific article; zbMATH DE number 2161041 (Why is no real title available?) | 2005-04-23 | Paper |
The variance of the vertex degrees of randomly generated graphs
Publikacije Elektrotehnickog fakulteta - serija: matematika | 2004-11-18 | Paper |
| scientific article; zbMATH DE number 2063236 (Why is no real title available?) | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2038885 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 2038885 (Why is no real title available?) | 2004-02-08 | Paper |
Computer proofs of a new family of harmonic number identities.
Advances in Applied Mathematics | 2003-12-03 | Paper |
| MacMahon's partition analysis. VII: Constrained compositions | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1979262 (Why is no real title available?) | 2003-09-11 | Paper |
A computer proof of a series evaluation in terms of harmonic numbers
Applicable Algebra in Engineering, Communication and Computing | 2003-03-13 | Paper |
MacMahon's partition analysis. IX: \(k\)-gon partitions
Bulletin of the Australian Mathematical Society | 2002-10-23 | Paper |
MacMahon's partition analysis. VIII: Plane partition diamonds
Advances in Applied Mathematics | 2002-09-11 | Paper |
q-ENGEL SERIES EXPANSIONS AND SLATER'S IDENTITIES
Quaestiones Mathematicae | 2002-07-02 | Paper |
MacMahon's partition analysis. VI: A new reduction algorithm
Annals of Combinatorics | 2002-06-16 | Paper |
Variants of the Andrews-Gordon identities
The Ramanujan Journal | 2002-05-12 | Paper |
Lattice paths, \(q\)-multinomials and two variants of the Andrews-Gordon identities
The Ramanujan Journal | 2002-05-12 | Paper |
MacMahon's partition analysis: The Omega package
European Journal of Combinatorics | 2002-02-14 | Paper |
A Proof of a Conjecture of Knuth
Experimental Mathematics | 2001-12-19 | Paper |
A Proof of a Conjecture of Knuth
Experimental Mathematics | 2001-12-19 | Paper |
| scientific article; zbMATH DE number 1618172 (Why is no real title available?) | 2001-11-13 | Paper |
The concept of Bailey chains
Séminaire Lotharingien de Combinatoire | 2001-11-06 | Paper |
The concept of Bailey chains
Séminaire Lotharingien de Combinatoire | 2001-11-06 | Paper |
On \(q\)-Lagrange inversion
Séminaire Lotharingien de Combinatoire | 2001-11-06 | Paper |
\(q\)-identities (of Rogers-Ramanujan type)
Séminaire Lotharingien de Combinatoire | 2001-11-06 | Paper |
The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
Experimental Mathematics | 2001-07-22 | Paper |
The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
Experimental Mathematics | 2001-07-22 | Paper |
The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
Experimental Mathematics | 2001-07-22 | Paper |
Inversion statistics of MacMohan and of Goulden and Jackson
Séminaire Lotharingien de Combinatoire | 2001-05-20 | Paper |
Inversion statistics of MacMohan and of Goulden and Jackson
Séminaire Lotharingien de Combinatoire | 2001-05-20 | Paper |
An infinite family of Engel expansions of Rogers-Ramanujan type
Advances in Applied Mathematics | 2000-11-16 | Paper |
\(q\)-hypergeometric solutions of \(q\)-difference equations
Discrete Mathematics | 2000-03-07 | Paper |
MacMahon's partition analysis. IV: Hypergeometric multisums
Séminaire Lotharingien de Combinatoire | 1999-06-16 | Paper |
MacMahon's partition analysis. IV: Hypergeometric multisums
Séminaire Lotharingien de Combinatoire | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1086647 (Why is no real title available?) | 1997-11-13 | Paper |
| scientific article; zbMATH DE number 1023404 (Why is no real title available?) | 1997-06-16 | Paper |
| scientific article; zbMATH DE number 932413 (Why is no real title available?) | 1996-11-25 | Paper |
A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
Journal of Symbolic Computation | 1996-07-18 | Paper |
Greatest factorial factorization and symbolic summation
Journal of Symbolic Computation | 1996-06-04 | Paper |
Some questions concerning computer-generated proofs of a binomial double- sum identity
Journal of Symbolic Computation | 1996-02-20 | Paper |
Improvement of the degree setting in Gosper's algorithm
Journal of Symbolic Computation | 1996-02-20 | Paper |
Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
The Electronic Journal of Combinatorics | 1995-04-06 | Paper |
Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
The Electronic Journal of Combinatorics | 1995-04-06 | Paper |
A note on Bailey's lemma
Journal of Combinatorial Theory. Series A | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4191664 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4210198 (Why is no real title available?) | 1986-01-01 | Paper |
On identities of the Rogers-Ramanujan type
Journal of Mathematical Analysis and Applications | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3910398 (Why is no real title available?) | 1985-01-01 | Paper |
