| Publication | Date of Publication | Type |
|---|
First-order factors of linear Mahler operators
(available as arXiv preprint) | N/A | Paper |
First-order factors of linear Mahler operators
Journal of Symbolic Computation | 2025-04-01 | Paper |
| Symbolic-numeric factorization of differential operators | 2025-01-17 | Paper |
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Mathematics of Computation | 2024-01-02 | Paper |
Rounding error analysis of linear recurrences using generating series
ETNA - Electronic Transactions on Numerical Analysis | 2023-06-09 | Paper |
Rounding error analysis of linear recurrences using generating series
ETNA - Electronic Transactions on Numerical Analysis | 2023-06-09 | Paper |
Multivariate ore polynomials in SageMath
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes
Combinatorial Theory | 2022-11-23 | Paper |
The expected signature of Brownian motion stopped on the boundary of a circle has finite radius of convergence
Bulletin of the London Mathematical Society | 2021-07-02 | Paper |
| Fast evaluation of some p-adic transcendental functions | 2021-06-17 | Paper |
Computing the volume of compact semi-algebraic sets
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
Truncation bounds for differentially finite series
Annales Henri Lebesgue | 2019-08-30 | Paper |
| Computational mathematics with SageMath. Translated from the 2013 French original by the authors | 2019-04-09 | Paper |
Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights
SIAM Journal on Scientific Computing | 2018-12-07 | Paper |
Computing solutions of linear Mahler equations
Mathematics of Computation | 2018-08-01 | Paper |
Comparison between Binary and Decimal Floating-Point Numbers
IEEE Transactions on Computers | 2017-05-16 | Paper |
Rigorous uniform approximation of D-finite functions using Chebyshev expansions
Mathematics of Computation | 2017-03-09 | Paper |
Finding hyperexponential solutions of linear ODEs by numerical evaluation
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Finding hyperexponential solutions of linear ODEs by numerical evaluation
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
NumGfun: a package for numerical and analytic computation with D-finite functions
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
A Note on the Space Complexity of Fast D-Finite Function Evaluation
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
The dynamic dictionary of mathematical functions (DDMF)
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
Effective bounds for P-recursive sequences
Journal of Symbolic Computation | 2010-09-10 | Paper |
| Computing roadmaps in smooth real algebraic sets | 2010-06-17 | Paper |
