Buchumschlag

CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Salden, Alfons H.
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Schlagworte:	Riemann Hypothesis Goldbach Conjecture Yang-Mills Mass Gap Fermat Last Theorem Beal Conjecture Collatz Conjecture Lean 4 CFP-MCFP Constraint First Principle Meta CFP Formal Verification Machine Verified No Axioms Millennium Prize Mr. NeC B.V. Theorem Prover Mathematical Proofs Number Theory Proof Assistant
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details
von: Mr. NeC B.V.
Veröffentlicht: (2026)

On Goldbach Conjecture
von: Soleymani, Ramin
Veröffentlicht: (2025)

On Goldbach Conjecture
von: Soleymani, Ramin
Veröffentlicht: (2025)

Stalker's Resolution of the Collatz Conjecture
von: Stalker, Eric
Veröffentlicht: (2025)

Stalker's Resolution of the Collatz Conjecture
von: Stalker, Eric
Veröffentlicht: (2025)

On the Beal Conjecture: A Constructive Proof via Differential Algebraic Closure and Height
von: liu, shifa
Veröffentlicht: (2026)

A Structural Proof of Legendre's Conjecture via Bijective Symmetric Reflection
von: Nwaorisa, Chinasa Princewill
Veröffentlicht: (2026)

Layered Recursive Compression as a Structural Proof of the Collatz Conjecture (Version 92)
von: Kawanishi, Yoshihito
Veröffentlicht: (2025)

The Shadow Collatz Conjecture: The Journey of All Integers Toward −1
von: Miyazawa, Ryosuke
Veröffentlicht: (2025)

Unified Classical Proof of the Beal, ABC, and Hodge Conjectures via the URCL Synchopeshing Operator
von: Garrido, Daphne
Veröffentlicht: (2026)

Machine-Checkable Weak Covering for the Collatz (3x+1) Problem
von: Kawanishi, Yoshihito
Veröffentlicht: (2025)

Goldbach's Conjecture: A Structural Foundation Proof via Mirror Symmetry
von: Brown, Nicolas Antony
Veröffentlicht: (2026)

Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
von: Onodera, Hiroaki
Veröffentlicht: (2025)

BSD Conjecture: A Structural Analysis (Parts I-IV)
von: Bieg, Michael
Veröffentlicht: (2026)

A Roughness-Explicit Chen Theorem for Goldbach Representations
von: Ratliff, Marshall
Veröffentlicht: (2026)

Receipts That Move: The Transportable Proof Conjecture (TPC) — A Proposal for Verifiable Decisions
von: Figurelli, Rogério
Veröffentlicht: (2025)

Resolution of the Hodge Conjecture via the Sexagesimal Harmony Algorithm
von: López Miranda, Jorge Alexander
Veröffentlicht: (2026)

Unified Approach to Major Conjectures and Fundamental Problems in Number Theory: Goldbach, Rarity, and Distribution of Prime Numbers
von: Doumbia, Amara
Veröffentlicht: (2025)

A Sieve Method for Generating 1+1 Prime Pairs and Goldbach Function
von: Chern, Geeng-Chuan
Veröffentlicht: (2026)

Collatz Conjecture: A Reverse Construction Bijective Proof via Layered Directed Acyclic Graphs
von: Aaron Brolin Fish
Veröffentlicht: (2025)

An Attempted Symbolic Entropy Proof of the Collatz Conjecture via Canonical Rewrite Grammars
von: Fathi, Kevin
Veröffentlicht: (2025)

Kū Algebra: Problem & Solution Series III — Millennium Applications — Advanced Equilibrium Exercises(空代数:問題と解答シリーズ III ミレニアム問題応用演習:高度者向け)
von: Ejima, Hirotaka
Veröffentlicht: (2025)

Kū Algebra: Problem & Solution Series III — Millennium Applications — Advanced Equilibrium Exercises(空代数:問題と解答シリーズ III ミレニアム問題応用演習:高度者向け)
von: Ejima, Hirotaka
Veröffentlicht: (2025)

Complexity Dichotomies for Graph Homomorphism Problems on Restricted Classes
von: SÉRGIO DE ANDRADE, PAULO
Veröffentlicht: (2025)

Köthe Conjecture and the Ibaguner Fractal Operator (IFO): A Unified Perspective
von: İBAGÜNER, SİNAN
Veröffentlicht: (2025)

Geometric Obstructions to Sums of Higher Powers with Remarks Related to Beal's Conjecture
von: Gordanpour, Niloufar
Veröffentlicht: (2026)

The Matsuura Structural Hierarchy: A Unified Depth Framework for Odd Integers and Collatz-Type Dynamics
von: Matsuura, Yoshihito
Veröffentlicht: (2025)

An Unconditional Proof of the Elliott-Halberstam and Twin Prime Conjectures.
von: Okolo, Hanyelichukwu Paul
Veröffentlicht: (2025)

The Unitary Reference Principle: A Foundational Reform of Quantitative Mathematics
von: Brogley, Joshua
Veröffentlicht: (2026)

Unified Mathematical Resolutions of the Millennium Prize Problems via Eternal Universe Theory – Mirror Edition Antisymmetric Dual-Sheeted Framework with Scalar Mediation and Vibration Modes
von: Frank, Karol
Veröffentlicht: (2025)

Proofing Collatz with AI: A Retrospective on an Experimental Publication Process
von: Thaler, Mario Heinrich
Veröffentlicht: (2025)

LA CONJETURA DE GOLDBACH DESDE LA PERSPECTIVA DE LOS FACTORES PRIMOS IMPARES DE UN NÚMERO PAR
von: Urcola, Imanol
Veröffentlicht: (2026)

On a possible approach to the Twin Prime Conjecture
von: Lee, Eunho
Veröffentlicht: (2025)

A Proof of the Artin Conjecture from the First Principles of Organized Complexity.
von: Okolo, Hanyelichukwu Paul
Veröffentlicht: (2025)

Solution for Fermat’s Last Theorem
von: José William Porras Ferreira
Veröffentlicht: (2016)

The Development of Students’ Mathematical Argumentation in a Primary Classroom
von: Pi-Jen Lin
Veröffentlicht: (2018)

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

Conjectures, postulats et vérifications expérimentales dans le paradigme du géomètre-physicien : Comment intégrer le travail avec les LGD ?
von: Denis Tanguay
Veröffentlicht: (2014)

Effects of Globalization under Consistent Conjectures
von: Mariel A. Leal-Coronado
Veröffentlicht: (2016)