Completed
Partial solution
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
An Automated Approach to the Collatz Conjecture
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Automated deduction for mathematics
- 3 Proving termination Baader and Nipkow, 1998
- 4 Matrix interpretations Hofbauer and Waldmann, 2006
- 5 Collatz conjecture
- 6 String rewriting for Collatz Zantema, 2005
- 7 Mixed binary-ternary representation
- 8 Alternative rewriting system for Collatz
- 9 Nontrivial test: Farkas' map [Farkas, 2005]
- 10 Partial solution
- 11 Collatz trajectories modulo 8
- 12 More problems
- 13 Closing remarks
