| Publication | Date of Publication | Type |
|---|
How to generate all possible rational Wilf-Zeilberger forms?
Journal of Symbolic Computation | 2025-12-02 | Paper |
| 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
Journal of Symbolic Computation | 2024-10-08 | Paper |
Legendre pairs of lengths \(\ell \equiv 0 \pmod 5\)
Special Matrices | 2024-02-14 | Paper |
A Unified Approach to Unimodality of Gaussian Polynomials
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
A Unified Approach to Unimodality of Gaussian Polynomials
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Transcendence Certificates for D-finite Functions
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 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
(available as arXiv preprint) | 2023-08-28 | 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
Journal of Physics A: Mathematical and Theoretical | 2023-01-13 | Paper |
How does the Gerrymander Sequence Continue?
(available as arXiv preprint) | 2023-01-10 | Paper |
| How does the Gerrymander Sequence Continue? | 2023-01-10 | Paper |
Heun functions and diagonals of rational functions
Journal of Physics A: Mathematical and Theoretical | 2023-01-09 | Paper |
There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts]
Enumerative Combinatorics and Applications | 2022-12-12 | Paper |
Apéry limits for elliptic \(L\)-values
Bulletin of the Australian Mathematical Society | 2022-09-19 | Paper |
Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
The Ramanujan Journal | 2022-06-13 | Paper |
Common factors in fraction-free matrix decompositions
Mathematics in Computer Science | 2022-01-28 | Paper |
Holonomic anti-differentiation and Feynman amplitudes
Texts & Monographs in Symbolic Computation | 2022-01-18 | Paper |
Creative telescoping on multiple sums
Mathematics in Computer Science | 2021-11-24 | Paper |
Binomial determinants for tiling problems yield to the holonomic ansatz
European Journal of Combinatorics | 2021-10-28 | Paper |
Exact Lower Bounds for Monochromatic Schur Triples and Generalizations
Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions and Computer Algebra | 2021-01-12 | Paper |
| Legendre pairs of lengths $\ell \equiv 0$ (mod $3$) | 2021-01-08 | Paper |
Calculation and properties of zonal polynomials
Mathematics in Computer Science | 2020-10-30 | Paper |
Effective algebraic analysis approach to linear systems over Ore algebras
Algebraic and Symbolic Computation Methods in Dynamical Systems | 2020-09-08 | Paper |
On the singular value decomposition of \(n\)-fold integration operators
Springer Proceedings in Mathematics & Statistics | 2020-07-27 | Paper |
Lower bounds on the number of realizations of rigid graphs
Experimental Mathematics | 2020-06-23 | Paper |
Common Factors in Fraction-Free Matrix Decompositions
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2019-12-21 | Paper |
Heun functions and diagonals of rational functions (unabridged version)
(available as arXiv preprint) | 2019-10-23 | Paper |
A curious family of binomial determinants that count rhombus tilings of a holey hexagon
Journal of Combinatorial Theory. Series A | 2019-06-28 | Paper |
Holonomic tools for basic hypergeometric functions
Frontiers in Orthogonal Polynomials and q-Series | 2019-05-27 | Paper |
Exact Lower Bounds for Monochromatic Schur Triples and Generalizations
(available as arXiv preprint) | 2019-04-03 | Paper |
Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
Journal of Symbolic Computation | 2019-03-21 | Paper |
Diagonals of rational functions, pullbacked \(\mathbf{_2F_1}\) hypergeometric functions and modular forms
Journal of Physics A: Mathematical and Theoretical | 2019-02-28 | Paper |
On the singular value decomposition of n-fold integration operators
(available as arXiv preprint) | 2018-11-28 | Paper |
Echelons of power series and Gabrielov's counterexample to nested linear Artin approximation
Bulletin of the London Mathematical Society | 2018-08-31 | Paper |
The number of realizations of a Laman graph
SIAM Journal on Applied Algebra and Geometry | 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
Advances in Applied Mathematics | 2018-04-18 | Paper |
Computing the number of realizations of a Laman graph
(available as arXiv preprint) | 2018-01-18 | Paper |
Reduction-based creative telescoping for Fuchsian D-finite functions
Journal of Symbolic Computation | 2017-10-10 | Paper |
Motion polynomials and planar linkages
ACM Communications in Computer Algebra | 2017-06-22 | Paper |
Reduction-based creative telescoping for algebraic functions
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Planar linkages following a prescribed motion
Mathematics of Computation | 2016-10-18 | Paper |
Integral D-finite functions
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Inverse inequality estimates with symbolic computation
Advances in Applied Mathematics | 2016-09-06 | Paper |
Lattice Green functions: the \(d\)-dimensional face-centered cubic lattice, \(d = 8, 9, 10, 11, 12\)
Journal of Physics A: Mathematical and Theoretical | 2016-08-10 | Paper |
A generalized Apagodu-Zeilberger algorithm
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
A generalized Apagodu-Zeilberger algorithm
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation | 2015-11-11 | Paper |
| Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models | 2015-06-29 | Paper |
Creative telescoping for holonomic functions
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 |
Zeilberger's holonomic ansatz for Pfaffians
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Twisting \(q\)-holonomic sequences by complex roots of unity
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Advanced applications of the holonomic systems approach. (Abstract of thesis)
ACM Communications in Computer Algebra | 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
Algebraic and Algorithmic Aspects of Differential and Integral Operators | 2014-03-25 | Paper |
Third order integrability conditions for homogeneous potentials of degree \(-1\)
Journal of Mathematical Physics | 2014-01-14 | Paper |
Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
Algebraic & Geometric Topology | 2013-10-18 | Paper |
Advanced computer algebra for determinants
Annals of Combinatorics | 2013-09-23 | Paper |
Lattice Green functions of the higher-dimensional face-centered cubic lattices
Journal of Physics A: Mathematical and Theoretical | 2013-05-17 | Paper |
Harmonic interpolation based on Radon projections along the sides of regular polygons
Central European Journal of Mathematics | 2013-04-08 | Paper |
Proof of George Andrews's and David Robbins's \(q\)-TSPP conjecture
Proceedings of the National Academy of Sciences | 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
Discrete Mathematics | 2012-11-20 | Paper |
The noncommutative \(A\)-polynomial of \((-2,3,n)\) pretzel knots
Experimental Mathematics | 2012-11-05 | Paper |
Computer algebra meets finite elements: an efficient implementation for Maxwell's equations
Texts & Monographs in Symbolic Computation | 2012-09-14 | Paper |
The integrals in Gradshteyn and Ryzhik. XVIII: Some automatic proofs
Scientia. Series A: Mathematical Sciences. New Series | 2012-06-29 | Paper |
THE ITERATED INTEGRALS OF ln(1 + xn)
International Journal of Number Theory | 2012-02-24 | Paper |
The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)
The Mathematical Intelligencer | 2011-10-25 | Paper |
The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences
Advances in Applied Mathematics | 2011-10-11 | Paper |
On two-generated non-commutative algebras subject to the affine relation.
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
A fast approach to creative telescoping
Mathematics in Computer Science | 2011-06-08 | Paper |
Integrals of powers of loggamma
Proceedings of the American Mathematical Society | 2011-03-10 | Paper |
Proof of Ira Gessel's lattice path conjecture
Proceedings of the National Academy of Sciences | 2011-01-24 | Paper |
Proof of Ira Gessel's lattice path conjecture
Proceedings of the National Academy of Sciences | 2011-01-24 | Paper |
Eliminating human insight: An algorithmic proof of Stembridge's TSPP theorem
(available as arXiv preprint) | 2011-01-03 | Paper |
A Mathematica package for \(q\)-holonomic sequences and power series
The Ramanujan Journal | 2009-11-16 | Paper |
Computing one of Victor Moll's irresistible integrals with computer algebra
Computer Science Journal of Moldova | 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
Theoretical Computer Science | 2008-03-05 | Paper |
Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
(available as arXiv preprint) | N/A | Paper |
