An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers

Abstract

In this paper we study linear forms with rational integer coefficients (, ), where the are algebraic numbers satisfying the so-called strong independence condition. In standard notation, we prove an explicit estimate of the form Its novel feature is that it contains no factors of the form .