| Publication | Date of Publication | Type |
|---|
| Symbolic-numeric factorization of differential operators | 2025-01-17 | Paper |
| Algorithms for discrete differential equations of order 1 | 2025-01-17 | Paper |
| Refined product formulas for Tamari intervals | 2023-03-20 | Paper |
The Sage package \texttt{comb\(\_\)walks} for walks in the quarter plane
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
A Gröbner-basis theory for divide-and-conquer recurrences
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Bijections between Łukasiewicz walks and generalized tandem walks
The Electronic Journal of Combinatorics | 2020-06-15 | Paper |
Becker’s conjecture on Mahler functions
Transactions of the American Mathematical Society | 2019-08-07 | Paper |
Computing solutions of linear Mahler equations
Mathematics of Computation | 2018-08-01 | Paper |
Hermite reduction and creative telescoping for hyperexponential functions
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Complexity estimates for two uncoupling algorithms
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Complexity estimates for two uncoupling algorithms
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Low complexity algorithms for linear recurrences
Proceedings of the 2006 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
European Journal of Combinatorics | 2016-12-27 | Paper |
Complexity of creative telescoping for bivariate rational functions
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Fast computation of common left multiples of linear ordinary differential operators
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation | 2015-03-27 | Paper |
Using camlp4 for presenting dynamic mathematics on the web
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
Fast computation of common left multiples of linear ordinary differential operators
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Fast computation of common left multiples of linear ordinary differential operators
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
| Fast computation of power series solutions of systems of differential equations | 2014-12-18 | Paper |
On the existence of telescopers for mixed hypergeometric terms
Journal of Symbolic Computation | 2014-12-09 | Paper |
A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3)
Interactive Theorem Proving | 2014-09-08 | Paper |
\textsc{OreModules}: A symbolic package for the study of multidimensional linear systems
Applications of Time Delay Systems | 2012-09-13 | Paper |
Philippe Flajolet at ALGO
Gazette des Mathématiciens | 2012-07-23 | Paper |
A non-holonomic systems approach to special function identities
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Explicit formula for the generating series of diagonal 3D rook paths
Séminaire Lotharingien de Combinatoire | 2012-02-09 | Paper |
Explicit formula for the generating series of diagonal 3D rook paths
Séminaire Lotharingien de Combinatoire | 2012-02-09 | Paper |
The dynamic dictionary of mathematical functions (DDMF)
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
Products of ordinary differential operators by evaluation and interpolation
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
| Differential equations for algebraic functions | 2009-01-20 | Paper |
The Distribution of Patterns in Random Trees
Combinatorics, Probability and Computing | 2008-03-10 | Paper |
Effective algorithms for parametrizing linear control systems over Ore algebras
Applicable Algebra in Engineering, Communication and Computing | 2006-05-31 | Paper |
Effective scalar products of D-finite symmetric functions
Journal of Combinatorial Theory. Series A | 2005-10-17 | Paper |
| scientific article; zbMATH DE number 2065261 (Why is no real title available?) | 2004-05-18 | Paper |
A randomized algorithm for approximate string matching
Algorithmica | 2001-10-07 | Paper |
An extension of Zeilberger's fast algorithm to general holonomic functions
Discrete Mathematics | 2001-09-12 | Paper |
The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
Experimental Mathematics | 2001-07-22 | Paper |
The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
Experimental Mathematics | 2001-07-22 | Paper |
The Construction of Orthonormal Wavelets Using Symbolic Methods and a Matrix Analytical Approach for Wavelets on the Interval
Experimental Mathematics | 2001-07-22 | Paper |
Non-commutative elimination in Ore algebras proves multivariate identities
Journal of Symbolic Computation | 1999-01-24 | Paper |
| scientific article; zbMATH DE number 1163416 (Why is no real title available?) | 1998-08-12 | Paper |
First-order factors of linear Mahler operators
(available as arXiv preprint) | N/A | Paper |
