44 citations · 106 across the 15 of their papers we have counts for
13 papers · 1 filter
First-order factors of linear Mahler operators
Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas +1
We develop and compare two algorithms for computing first-order right-hand factors in the ring of linear Mahler operatorswhere $\ell_0, \dot…
Computing error bounds for asymptotic expansions of regular P-recursive sequences
Ruiwen Dong, Stephen Melczer, Marc Mezzarobba
Over the last several decades, improvements in the fields of analytic combinatorics and computer algebra have made determining the asymptotic behaviour of sequences satisfying line…
Symbolic-Numeric Factorization of Differential Operators
Frédéric Chyzak, Alexandre Goyer, Marc Mezzarobba
We present a symbolic-numeric Las Vegas algorithm for factoring Fuchsian ordinary differential operators with rational function coefficients. The new algorithm combines ideas of va…
Fast evaluation of some p-adic transcendental functions
Xavier Caruso, Marc Mezzarobba, Nobuki Takayama +1
We design algorithms for computing values of many p-adic elementary and special functions, including logarithms, exponentials, polylogarithms, and hypergeometric functions. All our…
Computing the volume of compact semi-algebraic sets
Pierre Lairez, Marc Mezzarobba, Mohab Safey El Din
Let be a compact basic semi-algebraic set defined as the real solution set of multivariate polynomial inequalities with rational coefficients. We design an algorithm…
Computing solutions of linear Mahler equations
Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas +1
Mahler equations relate evaluations of the same function at iterated th powers of the variable. They arise in particular in the study of automatic sequences and in the compl…