2023/09/13 by Maurice Mignotte, Paul Voutier · 1 citation
Mathematics · Computer Science · #Mathematics and Applications #Polynomial and algebraic computation #History and Theory of Mathematics
paper · doi:10.1090/mcom/3908
We provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three complex logarithms of algebraic numbers. This technique can produce bounds significantly better than general results on lower bounds for linear forms in logarithms. We give worked examples to demonstrate both the use of our technique and the improvements it provides. Publicly shared code is also available.