Formes Linéaires en Logarithmes

Un ensemble de techniques, souvent nommé méthode de Baker, qui produisent des minorations explicites pour des combinaisons linéaires non nulles de logarithmes de nombres algébriques, utilisées pour borner des solutions entières ou S-unités d'équations diophantiennes.