Computing the effectively computable bound in Baker's inequality for linear forms in logarithms
Computing the effectively computable bound in Baker's inequality for linear forms in logarithms
For certain number theoretical applications, it is useful to actually compute the effectively computable constant which appears in Baker's inequality for linear forms in logarithms. In this note, we carry out such a detailed computation, obtaining bounds which are the best known and, in some respects, the best possible. We …