2 papers
math.NT2025
A note on linear forms in two logarithms: the argument of an algebraic power
Tomohiro Yamada
In this note, we shall give an improved lower bound for the argument of a power of a given algebraic number which has absolute value one but is not a root of unity.
math.NT2025
Three-term Machin-type formulae
Tomohiro Yamada
We shall show that there exist only finitely many nondegenerate three-term Machin-type formulae and give explicit upper bounds for the sizes of variables.