TY  - RPRT
TI  - Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture
AU  - Doron Zeilberger
PY  - 2009
UR  - https://arxiv.org/abs/0903.4050
ID  - 0903.4050
ER  -