Effective results for restricted rational approximation to quadratic irrationals
Erratum «Nouvelles méthodes pour minorer des combinaisons linéaires de logarithmes de nombres algébriques»
Euler indicators of binary recurrence sequences.
Exotic Collatz cycles
Explicit lower bounds for linear forms in two logarithms
We give an explicit lower bound for linear forms in two logarithms. For this we specialize the so-called Schneider method with multiplicity described in [10]. We substantially improve the numerical constants involved in existing statements for linear forms in two logarithms, obtained from Baker’s method or Schneider’s method with multiplicity. Our constant is around instead of .