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.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Zeilberger, Doron: Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz’s notorious $3x + 1$ conjecture (2011)