Teaching the computer how to discover and prove analogs of Collatz's conjecture

math.rutgers.edu