67 citations · 154 across the 25 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CO2026
An exact value for the Ramsey number
Vigleik Angeltveit
We compute the exact value of the Ramsey number . It is equal to 30.
math.NT2026
An improved algorithm for checking the Collatz conjecture for all n < 2^N
Vigleik Angeltveit
We describe a new algorithm for verifying the Collatz conjecture for all n < 2^N for some fixed N. The algorithm takes less than twice as long to verify convergence for all n < 2^{…