Fujimoto, N., & (Anthropic), C. (2026). Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < n ? Lean4 Verified for All n>=4. Zenodo.
Chicago-Zitierstil (17. Ausg.)Fujimoto, Nobuki, und Claude (Anthropic). Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < N ? Lean4 Verified for All N>=4. Zenodo, 2026.
MLA-Zitierstil (9. Ausg.)Fujimoto, Nobuki, und Claude (Anthropic). Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < N ? Lean4 Verified for All N>=4. Zenodo, 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.