Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < n ? Lean4 Verified for All n>=4

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Fujimoto, Nobuki, Claude (Anthropic)
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	Collatz universal-cycle-descent 27-32 omega-verified Lean4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet