Théorème de Baker

Ensemble de résultats effectifs fournissant des minorations explicites pour des formes linéaires non nulles en logarithmes de nombres algébriques ; ces bornes inférieures donnent des estimations calculables dépendant des hauteurs et servent à borner ou déterminer les solutions entières et exponentielles diophantiennes.