Descripción de una aplicación de formas lineales en logaritmos para ecuaciones diofanticas.

Ponente(s): Luis Elesban Santos Cruz
La herramienta principal que usaremos es el teorema de Matveev, el cual arroja una cota inferior para formas lineales en logaritmos de números algebraicos. El anterior teorema es muy útil porque ayuda a calcular una cota superior para el máximo de las variables enteras de nuestra ecuación diofántica. Una vez acotadas las variables, se puede hacer la búsqueda de soluciones con ayuda de una computadora, en caso de que las cotas sean muy grandes lo que hacemos es aplicar un método de reducción a la variable.