Cover Image

Collatz Conjecture: 100% Universal Coverage ? All 10 Mod Cases Proven forall-n, Zero Sorry, Lean4 Verified

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Fujimoto, Nobuki, Claude (Anthropic)
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	Collatz 100-percent zero-sorry forall-n Nat.div_lt_iff_lt_mul complete-proof Lean4 breakthrough
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < n ? Lean4 Verified for All n>=4
by: Fujimoto, Nobuki, et al.
Published: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
by: Fujimoto, Nobuki, et al.
Published: (2026)

A Construção do sentido e a retórica das empresas na web
by: Jacquelaine Florindo Borges
Published: (2008)

Collatz Topology and Modular Backwash: A Structural Framework for Residue Recurrence and Folding
by: Moon, KyungUp
Published: (2025)

Computergestuetzte Kooperation im Buero
by: Reif-Mosel, Ane-Kristin
Published: (2019)

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
by: Merle, Eric
Published: (2026)

Collatz Conjecture: A Reverse Construction Bijective Proof via Layered Directed Acyclic Graphs
by: Aaron Brolin Fish
Published: (2025)

Proofing Collatz with AI: A Retrospective on an Experimental Publication Process
by: Thaler, Mario Heinrich
Published: (2025)

Dyadic Geometry of the Zeta Function — Formal Lean Verification
by: Motta, Thiago F.
Published: (2026)

A Proof of the Collatz Conjecture
by: Uchikawa, Kkiyoshi
Published: (2025)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
by: Matsuua, Yoshihito
Published: (2025)

A Universal Drift Invariant and the Resolution of the Collatz Conjecture
by: Thaler, Mario Heinrich
Published: (2025)

ENI6MA vs. AZTEC: Rosario–Wang Proof (RWP) — a pairing-free proof-of-knowledge vs. Aztec ZKP
by: Rosario, Frank
Published: (2025)

The uneasy coexistence of the Spanish foral and common regional finance systems
by: Antoni Zabalza
Published: (2017)

CFP-MCFP Complete Theorem Proofs: Riemann Hypothesis, Goldbach, Beal, Collatz and 33 Related Results (v2)
by: Mr. NeC B.V.
Published: (2026)

The Shadow Collatz Conjecture: The Journey of All Integers Toward −1
by: Miyazawa, Ryosuke
Published: (2025)

Collatz‑12: Python Implementation and Sanctuary Dynamics Exploration Tools
by: Harada, HIroshi
Published: (2026)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
by: Spivack, Nova
Published: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
by: Spivack, Nova
Published: (2026)

Proof of the Collatz Conjecture through the Inverse Expansion Graph
by: Olgac, Enis
Published: (2025)

Methodological Generalization of the Collatz Sequences to (1 + 2^k )n + S_k(n) with Computational Verification for k = 1 up to k = 42
by: Ammar, HAMDOUS
Published: (2025)

Fake Cycles, Spectral Gap, and the BIP Property in Collatz Dynamics
by: okabe, arata
Published: (2026)

Gestión y profesionalización de las relaciones públicas en las diputaciones provinciales y forales
by: Ana Belén Fernández-Souto
Published: (2019)

Da sentença de Atouguia (1307) ao regimento de Tomé de Sousa para o Brasil (1548): semelhanças e novidades nas relações entre o poder régio e senhorial em Portugal
by: Armando MARTINS
Published: (2015)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
by: Jefferson, Bob
Published: (2026)

Los derechos históricos en el régimen de conciertos económicos. Su proyección en el orden económico y administrativo de los municipios
by: José María Endemaño Aróstegui
Published: (2011)

El mandato de unificación jurídica y la constitución española
by: Antón Lois Fernández Álvarez
Published: (2012)

El proyecto de crédito agrícola y la propuesta de redención foral (1886). La respuesta liberal de montero ríos y de díaz de rábago a la crisis finisecular
by: Susana Martínez Rodríguez
Published: (2008)

[CONCEPT NOTE / PRIORITY TIMESTAMP] AmṚta Morpheme Decode: Zero-State Completion of Ṛtam, Not Immortality
by: Ranadive, Kalpna
Published: (2026)

Considerations on the Collatz Conjecture
by: Loris, Audemir
Published: (2024)

Comparación del Sistema de Incubación de Etapa Única vs Etapa Múltiple sobre los Parámetros Productivos de Huevos de Reproductoras de Carne de Tres Edades
by: Daniel Maekawa M.
Published: (2014)

La Philosophie der Arithmetik , de Edmund Husserl: sobre la fundamentación de la aritmética, del concepto de número al concepto de espacio
by: Luis Alberto Canela Morales
Published: (2013)

Why Eight? Completeness and Necessity of the SBT Dimensional Taxonomy
by: Zharnikov, Dmitry
Published: (2026)

Inductive Cayley–Dickson Shell Algebras and the Sedenion Ghost Invariant of the 107 Residual Erdős–Straus Shell
by: The Clankers
Published: (2026)

Sobre crânios, idiomas e artefatos indígenas: o colecionismo e a História Natural na viagem de Johann Natterer ao Brasil (1817-1835)
by: Rita de Cássia Melo Santos
Published: (2018)

A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary
by: Itakura, Hidetoshi
Published: (2026)

Sequence of Syracuse : Extensions of types 3n+b and 5n+1
by: BALLASI, Jacques
Published: (2025)

Sequence of Syracuse : Extensions of types 3n+b and 5n+1
by: BALLASI, Jacques
Published: (2025)

Strukturelle Wahrheit – Wie Drift, Spiralzeit und Geometrie die moderne Physik überholen
by: Andres, Benjamin
Published: (2025)

Stalker's Resolution of the Collatz Conjecture
by: Stalker, Eric
Published: (2025)