A computer-assisted well-founded descent for Collatz components under dyadic leaf certificates

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Julien REDERO, redero, julian
DOI: 10.5281/zenodo.18210246
Cited by: 0

Abstract

Collatz, 3x+1, number theory, certificates, computational verification, well-founded descent Version modifiée pour clarification, les certificats levaient les hypothèse dans la version 1 en fin de demonstration.. Ils sont déclarés ok, dès l'abstract pour éviter l'ambiguité. Le companion reste le même.

Fields of Study & Subjects

Mathematical Dynamics and Fractals Analytic Number Theory Research Advanced Mathematical Theories

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
10 January 2026
Language
EN