A kit for linear forms in three logarithms

DOI10.1090/MCOM/3908MaRDI QIDQ6129010zbMATH OpenOpenAlexFDO

Authors Maurice Mignotte, Paul Voutier

Publication date 16 April 2024

Published in Mathematics of Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.08899

zbMATH Keywords

Diophantine equationslinear forms in logarithms

Mathematics Subject Classification ID

Exponential Diophantine equations (11D61) Computer solution of Diophantine equations (11Y50) Linear forms in logarithms; Baker's method (11J86)

Abstract: In this paper, we provide a technique to obtain explicit bounds for problems that can be reduced to linear forms in three 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.

Recommendations

• Linear forms in the logarithms of three positive rational numbers
• An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers
• An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II
• Explicit lower bounds for liner forms in two logarithms
• scientific article; zbMATH DE number 4077345

This page was built for publication: A kit for linear forms in three logarithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6129010)