Publication | Date of Publication | Type |
---|
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 |