Patrice Philippon works on transcendental number theory. His joint chapter with Michel Waldschmidt gives lower bounds for linear forms in logarithms of algebraic numbers, explicitly distinguishing general algebraic coefficients from rational-integer coefficients.[ref]
The central arithmetic question is quantitative: once a logarithmic combination is known to be nonzero, how closely can it approach zero? An explicit bound links Diophantine approximation to finite calculations and can help restrict candidate solutions of Diophantine equations.
New to topics? Read the docs here!