| Publication | Date of Publication | Type |
|---|
Supercongruence conjectured by Z.-W. Sun and the WZ method The Ramanujan Journal | 2026-02-27 | Paper |
Some supercongruences of hypergeometric sums and the WZ method Journal of Difference Equations and Applications | 2026-02-24 | Paper |
Finding congruences with the WZ method The Ramanujan Journal | 2025-10-06 | Paper |
Reduction for congruences of partial sums of P-recursive sequences Journal of Difference Equations and Applications | 2024-12-05 | Paper |
Ramanujan-inspired series for 1/π involving harmonic numbers Journal of Difference Equations and Applications | 2024-06-25 | Paper |
Rational solutions to the first order difference equations in the bivariate difference field Journal of Symbolic Computation | 2024-03-11 | Paper |
| Reduction on the congruences of partial sums of P-recursive sequences | 2023-12-21 | Paper |
| Log-behavior of the root sequences of P-recursive sequences | 2023-10-29 | Paper |
| Taylor coefficients and series involving harmonic numbers | 2023-10-05 | Paper |
| Ramanujan-inspired series for $1/\pi$ involving harmonic numbers | 2023-04-30 | Paper |
A new theorem on quadratic residues modulo primes Comptes Rendus. Mathématique. Académie des Sciences, Paris | 2022-10-12 | Paper |
Constructing minimal telescopers for rational functions in three discrete variables Advances in Applied Mathematics | 2022-08-31 | Paper |
Three-parameter mock theta functions Journal of Mathematical Analysis and Applications | 2022-07-22 | Paper |
Gosper summability of rational multiples of hypergeometric terms Journal of Difference Equations and Applications | 2022-01-25 | Paper |
Congruences and telescopings of \(P\)-recursive sequences Journal of Difference Equations and Applications | 2021-10-14 | Paper |
Telescoping method, summation formulas, and inversion pairs Electronic Research Archive | 2021-08-19 | Paper |
Log-concavity of P-recursive sequences Journal of Symbolic Computation | 2021-06-03 | Paper |
\(q\)-analogues of some series for powers of \(\pi\) Annals of Combinatorics | 2021-03-29 | Paper |
Polynomial reduction and supercongruences Journal of Symbolic Computation | 2020-11-13 | Paper |
Polynomial Reduction and Super Congruences (available as arXiv preprint) | 2019-07-16 | Paper |
On \(q\)-analogues of some series for \(\pi \) and \(\pi ^2\) Proceedings of the American Mathematical Society | 2019-04-23 | Paper |
Asymptotic r-log-convexity and P-recursive sequences Journal of Symbolic Computation | 2019-03-21 | Paper |
\(r\)-log-concavity of partition functions The Ramanujan Journal | 2019-03-21 | Paper |
Constant term evaluation and two kinds of congruence International Journal of Number Theory | 2018-08-01 | Paper |
| Constant term evaluation for summation of \(C\)-finite sequences | 2017-11-14 | Paper |
Existence problem of telescopers: beyond the bivariate case Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Infinite orders and non-D-finite property of 3-dimensional lattice walks The Electronic Journal of Combinatorics | 2016-09-13 | Paper |
Infinite orders and non-D-finite property of 3-dimensional lattice walks The Electronic Journal of Combinatorics | 2016-09-13 | Paper |
Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences Journal of Difference Equations and Applications | 2016-08-25 | Paper |
Congruences on the number of restricted \(m\)-ary partitions Journal of Number Theory | 2016-08-18 | Paper |
Ramanujan-type congruences for overpartitions modulo 16 The Ramanujan Journal | 2016-05-13 | Paper |
An insertion algorithm and leaders of rooted trees European Journal of Combinatorics | 2015-12-23 | Paper |
Quadratic forms and congruences for \(\ell\)-regular partitions modulo 3, 5 and 7 Advances in Applied Mathematics | 2015-08-31 | Paper |
On monotonicity of some combinatorial sequences Publicationes Mathematicae Debrecen | 2015-05-07 | Paper |
An algorithm for deciding the summability of bivariate rational functions Advances in Applied Mathematics | 2015-02-06 | Paper |
Congruences of multipartition functions modulo powers of primes The Ramanujan Journal | 2015-02-06 | Paper |
| The Method of Multiple Combinatorial Telescoping | 2014-11-25 | Paper |
Partially ordinal sums and \(P\)-partitions The Electronic Journal of Combinatorics | 2013-06-07 | Paper |
Partially ordinal sums and \(P\)-partitions The Electronic Journal of Combinatorics | 2013-06-07 | Paper |
The extended Zeilberger algorithm with parameters Journal of Symbolic Computation | 2012-05-07 | Paper |
The Abel-Zeilberger algorithm The Electronic Journal of Combinatorics | 2011-10-18 | Paper |
The Abel-Zeilberger algorithm The Electronic Journal of Combinatorics | 2011-10-18 | Paper |
| Formal residue and computer proofs of combinatorial identities | 2011-09-20 | Paper |
Minimal universal denominators for linear difference equations Journal of Difference Equations and Applications | 2011-07-15 | Paper |
The method of combinatorial telescoping Journal of Combinatorial Theory. Series A | 2011-04-11 | Paper |
The kernel method and systems of functional equations with several conditions Journal of Computational and Applied Mathematics | 2010-11-30 | Paper |
Hypergeometric series solutions of linear operator equations Applied Mathematics and Computation | 2010-02-09 | Paper |
| An Iterated Map for the Lebesgue Identity | 2010-01-31 | Paper |
| The enumeration of preimages and gardens-of-Eden in sequential cellular automata | 2009-07-22 | Paper |
| Partial transpose of permutation matrices | 2009-05-26 | Paper |
Partial transpose of permutation matrices (available as arXiv preprint) | 2009-05-26 | Paper |
| Partial transpose of permutation matrices | 2009-05-26 | Paper |
Circular digraph walks, k-balanced strings, lattice paths and Chebychev polynomials The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Circular digraph walks, k-balanced strings, lattice paths and Chebychev polynomials The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Circular digraph walks, k-balanced strings, lattice paths and Chebychev polynomials The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Proving hypergeometric identities by numerical verifications Journal of Symbolic Computation | 2009-01-30 | Paper |
Non-Terminating Basic Hypergeometric Series and the <i>q</i>-Zeilberger Algorithm Proceedings of the Edinburgh Mathematical Society | 2008-10-24 | Paper |
Kernel method and linear recurrence system Journal of Computational and Applied Mathematics | 2008-04-28 | Paper |
Applicability of the \(q\)-analogue of Zeilberger's algorithm Journal of Symbolic Computation | 2007-10-19 | Paper |
A telescoping method for double summations Journal of Computational and Applied Mathematics | 2006-09-13 | Paper |
Factors of the Gaussian coefficients Discrete Mathematics | 2006-08-04 | Paper |
Horse paths, restricted 132-avoiding permutations, continued fractions, and Chebyshev polynomials Discrete Applied Mathematics | 2006-06-30 | Paper |
Evaluation of some Hankel determinants Advances in Applied Mathematics | 2005-08-01 | Paper |
\(k\)-free recurrences of double hypergeometric terms Advances in Applied Mathematics | 2004-10-12 | Paper |
Continued fractions for Rogers--Szegö polynomials Numerical Algorithms | 2004-05-27 | Paper |
Recurrent sequences and Schur functions Advances in Applied Mathematics | 2003-09-15 | Paper |
An involution for the Gauss identity Journal of Combinatorial Theory. Series A | 2003-07-01 | Paper |
Restricted sums in a field Acta Arithmetica | 2002-03-20 | Paper |