This repository implements an automaton and symbolic computation framework for exploring T-trees in the context of the Collatz conjecture. It focuses on prefix-residue tracking, generating functions ...

In a previous attempt, the Collatz Conjecture was explored through Peano's axioms, but since induction doesn't satisfy the infinite range of natural numbers, let's demonstrate it using the Infinite ...

The new method is introduced in Articles 1-10 and Chapters 1-8. The translation from Japanese to English has been completed for all articles, both free and paid. (April 2024) English articles are ...

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.