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 []. 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 .