Notes
1. http://www.math.rutgers.edu/∼zeilberg. First version: March 23, 2009. This version: April 7, 2009. Accompanied by Maple package LADAS downloadable from http://www.math.rutgers.edu/ ∼zeilberg/mamarim/mamarimhtml/collatz.html, where one can also find (very interesting!) output, consisting of 144 computer-generated theorems and proofs. Supported in part by the NSF.