75 citations · 146 across the 8 of their papers we have counts for
1 paper · 1 filter
Ashish Tiwari
We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.