A Conjecture Equivalent to the Collatz Conjecture
arXiv:2108.06922
Abstract
We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.
arXiv:2108.06922
We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.