Lineare Formen in Logarithmen
Definition
Eine Sammlung von Techniken, oft Bakers Methode genannt, die explizite untere Schranken für nichtverschwindende lineare Kombinationen von Logarithmen algebraischer Zahlen liefern und zur Schranke von ganzzahligen oder S-Einheit-Lösungen diophantischer Gleichungen verwendet werden.