Baker's Theorem

A suite of effective results giving explicit lower bounds for nonzero linear forms in the logarithms of algebraic numbers; these lower bounds yield computable height-dependent estimates that can be applied to bound or determine integral and exponential Diophantine solutions.