| Publication | Date of Publication | Type |
|---|
| Refined product formulas for Tamari intervals | 2023-03-20 | Paper |
| The Sage package comb_walks for walks in the quarter plane | 2022-09-06 | Paper |
| A Gröbner-basis theory for divide-and-conquer recurrences | 2021-01-22 | Paper |
| Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions | 2020-09-09 | Paper |
| Bijections between Łukasiewicz walks and generalized tandem walks | 2020-06-15 | Paper |
| Becker’s conjecture on Mahler functions | 2019-08-07 | Paper |
| Computing solutions of linear Mahler equations | 2018-08-01 | Paper |
| Hermite reduction and creative telescoping for hyperexponential functions | 2017-02-10 | Paper |
| Complexity estimates for two uncoupling algorithms | 2017-02-10 | Paper |
| Low complexity algorithms for linear recurrences | 2017-02-03 | Paper |
| Hypergeometric expressions for generating functions of walks with small steps in the quarter plane | 2016-12-27 | Paper |
| Complexity of creative telescoping for bivariate rational functions | 2015-09-17 | Paper |
| Fast computation of common left multiples of linear ordinary differential operators | 2015-03-27 | Paper |
| Using camlp4 for presenting dynamic mathematics on the web | 2015-03-05 | Paper |
| Fast computation of common left multiples of linear ordinary differential operators | 2015-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2934694 | 2014-12-18 | Paper |
| On the existence of telescopers for mixed hypergeometric terms | 2014-12-09 | Paper |
| A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) | 2014-09-08 | Paper |
| OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems | 2012-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2900354 | 2012-07-23 | Paper |
| A non-holonomic systems approach to special function identities | 2012-05-13 | Paper |
| Explicit formula for the generating series of diagonal 3D rook paths | 2012-02-09 | Paper |
| The Dynamic Dictionary of Mathematical Functions (DDMF) | 2010-09-14 | Paper |
| Products of ordinary differential operators by evaluation and interpolation | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301646 | 2009-01-20 | Paper |
| The Distribution of Patterns in Random Trees | 2008-03-10 | Paper |
| Effective algorithms for parametrizing linear control systems over Ore algebras | 2006-05-31 | Paper |
| Effective scalar products of D-finite symmetric functions | 2005-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4459880 | 2004-05-18 | Paper |
| A randomized algorithm for approximate string matching | 2001-10-07 | Paper |
| An extension of Zeilberger's fast algorithm to general holonomic functions | 2001-09-12 | Paper |
| The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval | 2001-07-22 | Paper |
| Non-commutative elimination in Ore algebras proves multivariate identities | 1999-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394947 | 1998-08-12 | Paper |
| First-order factors of linear Mahler operators | 0001-01-03 | Paper |
