Skip to content
#

3n-plus-1

Star

Here are 4 public repositories matching this topic...

Language: All
Filter by language
All 4 Python 2 JavaScript 1 TypeScript 1

KonkovDV / hod-mysli-2026-alphabet

Star 0

2-tag system conjugate to De Mol (2008) computing the accelerated Collatz map T. Halting of B^n is open (≡ 3n+1). Proofs, cycle catalog to length 30, binary analogues. MEPhI Hod Mysli 2026.

python rust mathematics discrete-mathematics formal-methods dynamical-systems combinatorics theoretical-computer-science formal-verification number-theory collatz collatz-conjecture cycle-detection computability tag-systems lean4 rewriting-systems 3n-plus-1 post-tag-system cyclic-tag-system
  • Updated Oct 2, 2026
  • Python

Add this topic to your repo

To associate your repository with the 3n-plus-1 topic, visit your repo's landing page and select "manage topics."

Learn more