1. Barina, D.: Convergence verification of the Collatz problem. J. Supercomputing (2020).
https://doi.org/10.1007/s11227-020-03368-x
2. Blazewicz, J., Pettorossi, A.: Some properties of binary sequences useful for proving Collatz’s conjecture. Found. Control Eng. 8, 53–63 (1983)
3. Bruschi, M.: Two cellular automata for the 3x+1 map (2005)
4. Capco, J.: Odd Collatz sequence and binary representations, preprint, March 2019.
https://hal.archives-ouvertes.fr/hal-02062503
5. Cloney, T., Goles, E., Vichniac, G.Y.: The 3x+1 problem: a quasi cellular automaton. Complex Syst. 1(2), 349–360 (1987)