A Conjecture Equivalent to the Collatz Conjecture

08/16/2021

∙

by   Ashish Tiwari, et al.

∙

0

∙

share

We present a formulation of the Collatz conjecture that is potentially more amenable to modeling and analysis by automated termination checking tools.