Явная нижняя оценка однородной рациональной линейной формы от логарифмов алгебраических чисел

В работе изучается линейная форма вида $\Lambda=b_1\ln\alpha_1+\dots+b_n\ln\alpha_n$ с целыми рациональными коэффициентами $b_j$ ($b_n\ne 0$, $n\geqslant 2$) и алгебраическими числами $\alpha_j$, удовлетворяющими условию так называемой сильной независимости. В стандартных обозначениях доказана явная оценка вида
$$ |\Lambda|>\exp\bigl(-C^nD^{n+2}\Omega\ln\bigl(C^nD^{n+2}\Omega'\bigr)\ln(eB)\bigr). $$
Новизна оценки состоит в отсутствии в ней множителя вида $n^n$.
Библиография: 28 наименований.