| Publication | Date of Publication | Type |
|---|
| Guessing with little data | 2025-01-17 | Paper |
| Realizations of rigid graphs | 2024-12-17 | Paper |
| Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations | 2024-10-08 | Paper |
| Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\) | 2024-02-14 | Paper |
| A Unified Approach to Unimodality of Gaussian Polynomials | 2023-11-03 | Paper |
| Transcendence Certificates for D-finite Functions | 2023-11-03 | Paper |
| Diagonally symmetric alternating sign matrices | 2023-09-15 | Paper |
| Some D-finite and some possibly D-finite sequences in the OEIS | 2023-08-28 | Paper |
| Yay for Determinants! | 2023-07-04 | Paper |
| Representing Piecewise Linear Functions by Functions with Small Arity | 2023-05-26 | Paper |
| On Potentials Integrated by the Nikiforov-Uvarov Method | 2023-03-04 | Paper |
| On Christol’s conjecture | 2023-01-13 | Paper |
| How does the Gerrymander Sequence Continue? | 2023-01-10 | Paper |
| Heun functions and diagonals of rational functions | 2023-01-09 | Paper |
| There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts] | 2022-12-12 | Paper |
| Apéry limits for elliptic \(L\)-values | 2022-09-19 | Paper |
| Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry | 2022-06-13 | Paper |
| Common factors in fraction-free matrix decompositions | 2022-01-28 | Paper |
| Holonomic anti-differentiation and Feynman amplitudes | 2022-01-18 | Paper |
| Creative telescoping on multiple sums | 2021-11-24 | Paper |
| Binomial determinants for tiling problems yield to the holonomic ansatz | 2021-10-28 | Paper |
| Exact Lower Bounds for Monochromatic Schur Triples and Generalizations | 2021-01-12 | Paper |
| Legendre pairs of lengths $\ell \equiv 0$ (mod $3$) | 2021-01-08 | Paper |
| Calculation and properties of zonal polynomials | 2020-10-30 | Paper |
| Effective algebraic analysis approach to linear systems over Ore algebras | 2020-09-08 | Paper |
| On the singular value decomposition of \(n\)-fold integration operators | 2020-07-27 | Paper |
| Lower bounds on the number of realizations of rigid graphs | 2020-06-23 | Paper |
| Common Factors in Fraction-Free Matrix Decompositions | 2020-05-25 | Paper |
| Diagonals of rational functions: from differential algebra to effective algebraic geometry (unabridged version) | 2020-02-03 | Paper |
| On Christol's conjecture | 2019-12-21 | Paper |
| Heun functions and diagonals of rational functions (unabridged version) | 2019-10-23 | Paper |
| A curious family of binomial determinants that count rhombus tilings of a holey hexagon | 2019-06-28 | Paper |
| Holonomic tools for basic hypergeometric functions | 2019-05-27 | Paper |
| Exact Lower Bounds for Monochromatic Schur Triples and Generalizations | 2019-04-03 | Paper |
| Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms | 2019-03-21 | Paper |
| Diagonals of rational functions, pullbacked \(\mathbf{_2F_1}\) hypergeometric functions and modular forms | 2019-02-28 | Paper |
| On the singular value decomposition of n-fold integration operators | 2018-11-28 | Paper |
| Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation | 2018-08-31 | Paper |
| The number of realizations of a Laman graph | 2018-06-12 | Paper |
| The number of realizations of all Laman graphs with at most 12 vertices | 2018-05-11 | Dataset |
| Desingularization in the \(q\)-Weyl algebra | 2018-04-18 | Paper |
| Computing the number of realizations of a Laman graph | 2018-01-18 | Paper |
| Reduction-based creative telescoping for Fuchsian D-finite functions | 2017-10-10 | Paper |
| Motion polynomials and planar linkages | 2017-06-22 | Paper |
| Reduction-based creative telescoping for algebraic functions | 2017-05-10 | Paper |
| Planar linkages following a prescribed motion | 2016-10-18 | Paper |
| Integral D-finite functions | 2016-09-29 | Paper |
| Inverse inequality estimates with symbolic computation | 2016-09-06 | Paper |
| Lattice Green functions: the \(d\)-dimensional face-centered cubic lattice, \(d = 8, 9, 10, 11, 12\) | 2016-08-10 | Paper |
| A generalized Apagodu-Zeilberger algorithm | 2015-11-11 | Paper |
| Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models | 2015-06-29 | Paper |
| Creative telescoping for holonomic functions | 2015-04-01 | Paper |
| Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order | 2015-04-01 | Paper |
| Zeilberger's holonomic ansatz for Pfaffians | 2015-03-27 | Paper |
| Twisting \(q\)-holonomic sequences by complex roots of unity | 2015-03-27 | Paper |
| Advanced applications of the holonomic systems approach. (Abstract of thesis) | 2015-02-26 | Paper |
| Fundamental Laser Modes in Paraxial Optics: From Computer Algebra and Simulations to Experimental Observation | 2014-07-02 | Paper |
| Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach II | 2014-03-25 | Paper |
| Third order integrability conditions for homogeneous potentials of degree \(-1\) | 2014-01-14 | Paper |
| Irreducibility of \(q\)-difference operators and the knot \(7_{4}\) | 2013-10-18 | Paper |
| Advanced computer algebra for determinants | 2013-09-23 | Paper |
| Lattice Green functions of the higher-dimensional face-centered cubic lattices | 2013-05-17 | Paper |
| Harmonic interpolation based on Radon projections along the sides of regular polygons | 2013-04-08 | Paper |
| Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture | 2013-02-02 | Paper |
| The integrals in Gradshteyn and Ryzhik. XXII: Bessel-\(K\) functions | 2013-01-31 | Paper |
| Multivariate linear recurrences and power series division | 2012-11-20 | Paper |
| The noncommutative \(A\)-polynomial of \((-2,3,n)\) pretzel knots | 2012-11-05 | Paper |
| Computer algebra meets finite elements: an efficient implementation for Maxwell's equations | 2012-09-14 | Paper |
| The integrals in Gradshteyn and Ryzhik. XVIII: Some automatic proofs | 2012-06-29 | Paper |
| THE ITERATED INTEGRALS OF ln(1 + xn) | 2012-02-24 | Paper |
| The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux) | 2011-10-25 | Paper |
| The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences | 2011-10-11 | Paper |
| On two-generated non-commutative algebras subject to the affine relation. | 2011-09-02 | Paper |
| A fast approach to creative telescoping | 2011-06-08 | Paper |
| Integrals of powers of loggamma | 2011-03-10 | Paper |
| Proof of Ira Gessel's lattice path conjecture | 2011-01-24 | Paper |
| Eliminating human insight: An algorithmic proof of Stembridge's TSPP theorem | 2011-01-03 | Paper |
| A Mathematica package for \(q\)-holonomic sequences and power series | 2009-11-16 | Paper |
| Computing one of Victor Moll's irresistible integrals with computer algebra | 2008-09-29 | Paper |
| A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations) | 2008-08-05 | Paper |
| Regular languages and their generating functions: The inverse problem | 2008-03-05 | Paper |
| Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations | N/A | Paper |
