| 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 |
| Transcendence Certificates for D-finite Functions | 2023-11-03 | Paper |
| A Unified Approach to Unimodality of Gaussian Polynomials | 2023-11-03 | Paper |
| Diagonally symmetric alternating sign matrices | 2023-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6135998 | 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 -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 $\boldsymbol{_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 |
| 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: thed-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 |
| Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order | 2015-04-01 | Paper |
| Creative Telescoping for Holonomic Functions | 2015-04-01 | Paper |
| Twisting q-holonomic sequences by complex roots of unity | 2015-03-27 | Paper |
| Zeilberger's holonomic ansatz for Pfaffians | 2015-03-27 | Paper |
| Advanced applications of the holonomic systems approach | 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 |
| https://portal.mardi4nfdi.de/entity/Q4904620 | 2013-01-31 | Paper |
| Multivariate linear recurrences and power series division | 2012-11-20 | Paper |
| The NoncommutativeA-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 |
| https://portal.mardi4nfdi.de/entity/Q2894192 | 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 |
