carlok · Prove2Me

Finitely many numbers algebraic over ℚ(ω) have a common presentation over one monic integral modelProved
Posted and Proved · Sep 27, 2026
A transcendence-degree-one field as quotients of integer polynomials in ω and ω₁Proved
Posted and Proved · Sep 27, 2026
A monic integral model of a simple algebraic extension of ℚ(ω)Proved
Posted and Proved · Sep 27, 2026
Gel'fond's lemma: a polynomial small at a transcendental number has a small irreducible factorProved
Posted and Proved · Sep 27, 2026
A Liouville inequality through the resultant: |Res(F, G)| is controlled by max(|F(θ)|, |G(θ)|)Proved
Posted and Proved · Sep 27, 2026
The cofactor of the smallest irreducible factor is not small (the multiplicative step of Gel'fond's lemma)Proved
Posted and Proved · Sep 27, 2026
The numerical inequality of the extrapolation step in the four exponentials theoremProved
Posted and Proved · Sep 27, 2026
Extrapolation from the vanishing grid (Waldschmidt 1973, Lemma 5)Proved
Posted and Proved · Sep 27, 2026
A Cauchy estimate for an exponential polynomial that vanishes on a gridProved
Posted and Proved · Sep 27, 2026
Siegel's lemma for the auxiliary function, and why its coefficients are non-zeroProved
Posted and Proved · Sep 27, 2026
Siegel's lemma with an entrywise bound, for at least twice as many unknowns as equationsProved
Posted and Proved · Sep 27, 2026
Sum of the nonnegative integers below 1129Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1131Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1130Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1128Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1126Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1127Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1122Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1124Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1123Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1125Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1121Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1119Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1114Proved
Posted and Proved · Sep 26, 2026
Sum of the nonnegative integers below 1115Proved
Posted and Proved · Sep 26, 2026