LADAS

LADAS, a Maple package that automatically generates, and then automatically proves, two-dimensional analogs of the 3x+1 conjecture. It accompanies Doron Zeilberger’s article (Posted March 23, 2009). Another Maple package accompanying that article is COLLATZ, that only makes conjectures, but does not prove them.