Yasuaki Ito, Koji Nakano. A Hardware-Software Cooperative Approach for the Exhaustive Verification of the Collatz Conjecture. In IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009. pages 63-70, IEEE, 2009. [doi]
Abstract is missing.