| Publication | Date of Publication | Type |
|---|
| Lazy Hermite reduction and creative telescoping for algebraic functions | 2025-01-20 | Paper |
| Guessing with little data | 2025-01-17 | Paper |
| Order-degree-height surfaces for linear operators | 2025-01-17 | Paper |
| Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker | 2025-01-13 | Paper |
| The guess-and-prove paradigm in action | 2024-08-14 | Paper |
| Hardinian arrays | 2024-04-09 | Paper |
| Hermite Reduction for D-finite Functions via Integral Bases | 2023-11-03 | Paper |
| Transcendence Certificates for D-finite Functions | 2023-11-03 | Paper |
| Flip Graphs for Matrix Multiplication | 2023-11-03 | Paper |
| Order bounds for C2-finite sequences | 2023-11-03 | Paper |
| D-Finite Functions | 2023-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6135998 | 2023-08-28 | Paper |
| A normal form for matrix multiplication schemes | 2023-07-26 | Paper |
| OuterCount: a first-level solution-counter for quantified Boolean formulas | 2023-06-02 | Paper |
| Multivariate ore polynomials in SageMath | 2023-03-03 | Paper |
| Lonely points in simplices | 2023-01-23 | Paper |
| A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications | 2023-01-11 | Paper |
| Why you should remove zeros from data before guessing | 2023-01-11 | Paper |
| How does the Gerrymander Sequence Continue? | 2023-01-10 | Paper |
| Quadrant walks starting outside the quadrant | 2023-01-05 | Paper |
| The generating function of Kreweras walks with interacting boundaries is not algebraic | 2023-01-05 | Paper |
| Good pivots for small sparse matrices | 2022-12-21 | Paper |
| The Orbit-Sum Method for Higher Order Equations | 2022-11-15 | Paper |
| Polynomial bivariate copulas of degree five: characterization and some particular inequalities | 2021-11-15 | Paper |
| Walks with small steps in the 4D-orthant | 2021-03-29 | Paper |
| New ways to multiply \(3 \times 3\)-matrices | 2021-02-18 | Paper |
| Incremental column-wise verification of arithmetic circuits using computer algebra | 2021-02-08 | Paper |
| Separating variables in bivariate polynomial ideals | 2021-01-22 | Paper |
| Integral bases for p-recursive sequences | 2021-01-22 | Paper |
| Foreword | 2020-09-19 | Paper |
| Bounds for Substituting Algebraic Functions into D-finite Functions | 2020-09-09 | Paper |
| Counting Standard Young Tableaux With Restricted Runs | 2020-06-17 | Paper |
| Continued Classification of 3D Lattice Walks in the Positive Octant | 2020-05-26 | Paper |
| Local search for fast matrix multiplication | 2020-05-20 | Paper |
| Inhomogeneous restricted lattice walks | 2020-03-23 | Paper |
| Asymptotic enumeration of compacted binary trees of bounded right height | 2020-02-21 | Paper |
| Integral P-Recursive Sequences | 2020-02-07 | Paper |
| Separating Variables in Bivariate Polynomial Ideals | 2020-02-04 | Paper |
| On the maximal minimal cube lengths in distinct DNF tautologies | 2020-01-21 | Paper |
| Apparent singularities of D-finite systems | 2019-06-28 | Paper |
| Hypercontractive inequalities via SOS, and the Frankl–Rödl graph | 2019-06-20 | Paper |
| A simple rederivation of Onsager's solution of the 2D Ising model using experimental mathematics | 2019-03-12 | Paper |
| Factorization of $C$-finite sequences | 2019-01-29 | Paper |
| Short proofs for some symmetric quantified Boolean formulas | 2018-10-19 | Paper |
| Symmetries of quantified Boolean formulas | 2018-08-10 | Paper |
| D-finite numbers | 2018-08-01 | Paper |
| Automatic Classification of Restricted Lattice Walks | 2018-07-23 | Paper |
| Lattice walks in the octant with infinite associated groups | 2018-01-18 | Paper |
| Reduction-based creative telescoping for Fuchsian D-finite functions | 2017-10-10 | Paper |
| Some open problems related to creative telescoping | 2017-09-06 | Paper |
| Reduction-Based Creative Telescoping for Algebraic Functions | 2017-05-10 | Paper |
| Desingularization explains order-degree curves for ore operators | 2017-02-10 | Paper |
| Finding hyperexponential solutions of linear ODEs by numerical evaluation | 2017-02-10 | Paper |
| Application of unspecified sequences in symbolic summation | 2017-02-03 | Paper |
| On 3-dimensional lattice walks confined to the positive octant | 2017-01-26 | Paper |
| Hypergeometric expressions for generating functions of walks with small steps in the quarter plane | 2016-12-27 | Paper |
| Hypercontractive inequalities via SOS, and the Frankl--Rödl graph | 2016-10-10 | Paper |
| A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms | 2016-09-29 | Paper |
| Integral D-Finite Functions | 2016-09-29 | Paper |
| Solving parametric linear systems | 2016-07-18 | Paper |
| Ore Polynomials in Sage | 2016-05-25 | Paper |
| Walks in the Quarter Plane with Multiple Steps | 2016-05-04 | Paper |
| On a Conjecture of Cusick Concerning the Sum of Digits of $n$ and $n+t$ | 2016-04-07 | Paper |
| Desingularization of Ore operators | 2015-12-08 | Paper |
| A generalized Apagodu-Zeilberger algorithm | 2015-11-11 | Paper |
| Bounds for D-finite closure properties | 2015-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2949159 | 2015-10-07 | Paper |
| When can we detect that a P-finite sequence is positive? | 2015-09-17 | Paper |
| Partial denominator bounds for partial linear difference equations | 2015-09-17 | Paper |
| An algorithm for deciding zero equivalence of nested polynomially recurrent sequences | 2015-09-02 | Paper |
| A procedure for proving special function inequalities involving a discrete parameter | 2015-07-16 | Paper |
| A refined denominator bounding algorithm for multivariate linear difference equations | 2015-06-09 | Paper |
| Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order | 2015-04-01 | Paper |
| The Holonomic Toolkit | 2015-04-01 | Paper |
| Order-degree curves for hypergeometric creative telescoping | 2015-03-27 | Paper |
| Telescopers for rational and algebraic functions via residues | 2015-03-27 | Paper |
| On the length of integers in telescopers for proper hypergeometric terms | 2014-07-16 | Paper |
| Formal Laurent series in several variables | 2014-01-13 | Paper |
| Proof of George Andrews’s and David Robbins’s q -TSPP conjecture | 2013-02-02 | Paper |
| A method for determining the mod-\(2^k\) behaviour of recursive sequences, with applications to subgroup counting | 2012-10-23 | Paper |
| A non-holonomic systems approach to special function identities | 2012-05-13 | Paper |
| Trading order for degree in creative telescoping | 2012-05-11 | Paper |
| Dominance in the family of Sugeno-Weber t-norms | 2012-04-13 | Paper |
| The computational challenge of enumerating high-dimensional rook walks | 2011-10-11 | Paper |
| How to use cylindrical algebraic decomposition | 2011-02-09 | Paper |
| The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates | 2011-01-31 | Paper |
| Proof of Ira Gessel's lattice path conjecture | 2011-01-24 | Paper |
| Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra | 2010-10-28 | Paper |
| The complete generating function for Gessel walks is algebraic | 2010-09-27 | Paper |
| A Mathematica package for \(q\)-holonomic sequences and power series | 2009-11-16 | Paper |
| Automated proofs for some Stirling number identities | 2009-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3602576 | 2009-02-12 | Paper |
| Experiments with a Positivity-Preserving Operator | 2009-01-29 | Paper |
| Integration of algebraic functions | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301673 | 2009-01-20 | Paper |
| Computing the algebraic relations of \(C\)-finite sequences and multisequences | 2009-01-09 | Paper |
| The quasi-holonomic ansatz and restricted lattice walks | 2008-11-05 | Paper |
| A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations) | 2008-08-05 | Paper |
| Solving difference equations whose coefficients are not transcendental | 2008-07-31 | Paper |
| Summation algorithms for Stirling number identities | 2008-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5433687 | 2008-01-09 | Paper |
| A Computer Proof of Moll’s Log-Concavity Conjecture | 2007-11-01 | Paper |
| SumCracker: A package for manipulating symbolic sums and related objects | 2007-10-23 | Paper |
| On Turán's inequality for Legendre polynomials | 2007-07-19 | Paper |
| Shift equivalence of P-finite sequences | 2007-03-12 | Paper |
| Indefinite summation with unspecified summands | 2006-09-14 | Paper |
| Computer proofs for polynomial identities in arbitrary many variables | 2005-03-14 | Paper |
| Towards a Parallel Summation Algorithm | N/A | Paper |
