67 citations · 154 across the 25 of their papers we have counts for
1 paper · 2 filters
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^{…