Rational approximations to linear forms in values of G-functions
Récurrences - et -mahlériennes
On sait (Cobham) qu’une suite - et -automatique est une suite rationnelle. Une question de Loxton et van der Poorten étend ce résultat au cas - et -régulier. On montre dans cet article que, si une suite vérifie une récurrence - et -mahlérienne d’ordre un, elle est rationnelle.