Linear Forms in Logarithms
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
A collection of techniques, often called Baker's method, that produce explicit lower bounds for nonzero linear combinations of logarithms of algebraic numbers, used to bound integer or S-unit solutions to Diophantine equations.