Formas Lineales en Logaritmos
Definición
Un conjunto de técnicas, a menudo llamado método de Baker, que proporcionan cotas inferiores explícitas para combinaciones lineales no nulas de logaritmos de números algebraicos, utilizadas para acotar soluciones enteras o S-unidades de ecuaciones diofánticas.