Year: 2023
Type: article
Abstract: 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.
Source: Mathematics of Computation
DOI: 10.1090/mcom/3908
Authors: Maurice Mignotte, Paul Voutier
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4386708651