Saltar ao contenido
VuFind
  • Entrar
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Avanzado
  • Citar
  • Text this
  • Enviar este rexistro por email
  • Imprimir
  • Exportar rexistro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Engadir a favoritos
  • Permanent link
Imaxe de Portada

Gardado en:
Detalles Bibliográficos
Main Authors: Fujimoto, Nobuki, Claude (Anthropic)
Formato: Recurso digital
Idioma:
Publicado: Zenodo 2026
Subjects:
Collatz
universal-cycle-descent
27-32
omega-verified
Lean4
Acceso en liña:https://doi.org/10.5281/zenodo.19492870
Tags: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
  • Existencias
  • Descripción
  • Table of Contents
  • Comentarios
  • Títulos similares
  • Staff View

Internet

https://doi.org/10.5281/zenodo.19492870

Títulos similares

  • Collatz Conjecture: 100% Universal Coverage ? All 10 Mod Cases Proven forall-n, Zero Sorry, Lean4 Verified
    por: Fujimoto, Nobuki, et al.
    Publicado: (2026)
  • Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
    por: Fujimoto, Nobuki, et al.
    Publicado: (2026)
  • On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
    por: Merle, Eric
    Publicado: (2026)
  • The Global Odd Tower: A Unified Structural Framework for Odd Integers, Prime Geometry, Twin Symmetry, Collatz Descent, and Finite-Cell Factorization
    por: Matsuua, Yoshihito
    Publicado: (2025)
  • A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
    por: Matsuua, Yoshihito
    Publicado: (2025)

Opciones de procura

  • Historial de Procuras
  • Procura avanzada

Buscar Máis

  • Revisar o catálogo
  • Lista alfabética
  • Explore Channels
  • Reservas de curso
  • Novos exemplares

Necesita Axuda?

  • Consello de procura
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes