Cheng-Chao Huang
Published 2021-12-09, updated 2022-05-16Version 2
In this paper, we study linear forms \[\lambda = \beta_1\mathrm{e}^{\alpha_1}+\cdots+\beta_m\mathrm{e}^{\alpha_m},\] where $\alpha_i$ and $\beta_i$ are algebraic numbers. An explicit lower bound for the absolute value of $\lambda$ is proved, which is derived from "th\'eor\`eme de Lindemann--Weierstrass effectif" via constructive methods in algebraic computation. Besides, the existence of $\lambda$ with an explicit upper bound is established on the result of counting algebraic numbers.
Explicit lower bounds on the modular degree of an elliptic curve
The explicit upper bound of the multiple integral of $S(t)$ on the Riemann Hypothesis
A note on the squares of the form $\prod_{k=1}^n (2k^2+l)$ with $l$ odd
![QR code for arXiv:2112.05004 [math.NT]](http://oss.arxitics.com/images/favicon.svg)