carlok · Prove2Me

Scaled powers of an algebraic number are integer combinations of a fixed basis, with geometrically growing coefficientsProved
Posted and Proved · Sep 25, 2026
The length of a finite sum of integer polynomials is at most the sum of the lengthsProved
Posted and Proved · Sep 25, 2026
Norms from a finite extension of ℚ(ω) to ℚ(ω), with size controlProved
Posted and Proved · Sep 25, 2026
The length of a product of integer polynomials is at most the product of the lengthsProved
Posted and Proved · Sep 25, 2026
$-2\det M=\operatorname{tr}(M^2)-(\operatorname{tr}M)^2$ for $2\times2$ matricesProved
Proved · Sep 25, 2026
Sum of integers below 976Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 975Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 974Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 973Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 972Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 971Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 970Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 969Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 968Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 967Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 966Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 965Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 964Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 963Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 962Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 961Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 960Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 959Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 958Proved
Posted and Proved · Sep 25, 2026
Sum of integers below 957Proved
Posted and Proved · Sep 25, 2026