Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz's notorious 3x + 1 conjecture

DOI10.1080/10236190902953789zbMath1223.68130arXiv0903.4050OpenAlexW2046939574WikidataQ122927314 ScholiaQ122927314MaRDI QIDQ2997148

Doron Zeilberger

Publication date: 6 May 2011

Published in: Journal of Difference Equations and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0903.4050

zbMATH Keywords

computer proofCollatz conjecture

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Recurrences (11B37) Special sequences and polynomials (11B83)

Uses Software

• LADAS
• COLLATZ

Cites Work

• On some difference equations with eventually periodic solutions
• The 3x + 1 Problem and Its Generalizations
• Open problems and conjectures

This page was built for publication: Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz's notorious 3x + 1 conjecture