Copertina

FLT-Coq v0.3.0 — GlobalNormalization module and maximum-coverage API

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Dedenko, Grigoriy
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2025
Soggetti:	Coq Fermat's Last Theorem Number theory Global normalization proof engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))
di: Dedenko, Grigoriy
Pubblicazione: (2025)

Arithmetic Extermination II–IV: Rigorous Descent Proofs for Fermat's Last Theorem in the Energy-Lattice Framework
di: scott, eron
Pubblicazione: (2025)

Fermat's Last Theorem: An Elementary Proof via Factorization and the Reconstruction of Fermat's Original Insight
di: ACOSTA PADILLA, ALFREDO LUIS
Pubblicazione: (2025)

Solution for Fermat’s Last Theorem
di: José William Porras Ferreira
Pubblicazione: (2016)

Explanation of why powers of a number greater than two cannot be decomposed into the sum of two terms of the same power
di: Helmdach, Emma
Pubblicazione: (2026)

El Teorema de los Rectángulos Rotos: Una Demostración Algebraica del Último Teorema de Fermat para Exponentes Impares en Wexp/T
di: ACOSTA PADILLA, ALFREDO LUIS
Pubblicazione: (2025)

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

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

Artifact for "Extending the Iris Proof Mode with Inductive Predicates using Elpi"
di: van der Maas, Luko
Pubblicazione: (2024)

CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover
di: Salden, Alfons H.
Pubblicazione: (2026)

The Incompleteness of Wiles' Proof: Why Fermat's Last Theorem Remains Unproven in Fundamental Algebraic Reality
di: ACOSTA PADILLA, ALFREDO LUIS
Pubblicazione: (2025)

Fermat's Last Theorem
di: Keen, Joseph
Pubblicazione: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
di: Proof Engine
Pubblicazione: (2026)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
di: Proof Engine
Pubblicazione: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
di: Proof Engine
Pubblicazione: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
di: Proof Engine
Pubblicazione: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
di: Proof Engine
Pubblicazione: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
di: Proof Engine
Pubblicazione: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
di: Proof Engine
Pubblicazione: (2026)

Gen-FW: A Generalization of the Fermat-Weber Problem with Applications to Data Processing
di: Soto-Quiros, Pablo, et al.
Pubblicazione: (2023)

Computational Aspects of the Fermat-Weber Problem and its Solution Algorithms
di: Soto-Quiros, Pablo
Pubblicazione: (2022)

El último teorema de Fermat-Wiles
di: Fabio Abraham Contreras Oré
Pubblicazione: (2015)

[SUPERSEDED — see 10.5281/zenodo.19227867] Trinity B002: Zero-DSP FPGA Architecture for Ternary Inference v4.0
di: Vasilev, Dmitrii
Pubblicazione: (2026)

[SUPERSEDED — see 10.5281/zenodo.19227873] Trinity B005: Tri Language — Linear Types, Effects, Dual-Target Compilation v4.0
di: Vasilev, Dmitrii
Pubblicazione: (2026)

Fermat Numbers: Computational Analysis Through Temporal Dynamics Framework
di: Ibbotson, James Norman
Pubblicazione: (2026)

(Hyper)sequent Calculi for the ALC(S4) Description Logics
di: Juan Pablo Muñoz
Pubblicazione: (2016)

El enigma de Fermat / Simon Singh ; Prólogo de John Lynch, editor de BBC Horizon ; traducción de David Galadí y Jordi Gutiérrez
di: Singh, Simon

ALGUNOS TÓPICOS EN TEORÍA DE NÚMEROS: NÚMEROS MERSENNE, TEOREMA DIRICHLET, NÚMEROS FERMAT.
di: CAMPO ELIAS GONZALEZ PINEDA
Pubblicazione: (2011)

El método de máximos y mínimos de Fermat
di: Andrés de la Torre Gómez
Pubblicazione: (2005)

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

El principio de Fermat, la braquistócrona y ¿la curvatura de la luz?
di: S. Argáez-Mendoza
Pubblicazione: (2011)

Hanners Theorem Formalization: Information-Theoretic Foundations of Harmonic Coherence
di: Hanners, Michael
Pubblicazione: (2025)

Certified XOR-Spectral Normalization for SAT: Entailed Parity Detection, Elimination, and DRAT-Compatible Progress
di: Paradise, Christopher
Pubblicazione: (2026)

General Theory of Finite Descent Authority
di: Carroll, Jeremy H.
Pubblicazione: (2026)

The δ-Gene: Inference-Time Physical Unclonable Functions from Architecture-Invariant Output Geometry
di: Coslett, Anthony
Pubblicazione: (2026)

Automated Reasoning with Analytic Tableaux and Related Methods
Pubblicazione: (2023)

The defendant’s guilt beyond a reasonable doubt in the Italian criminal justice system
di: Francesco Callari
Pubblicazione: (2021)

The Eight–Summit Framework: A Finite–Depth Structural Interpretation of the Riemann Landscape via the Matsuura Hierarchy (MSHD–HSTG)
di: Matsuura, Yoshihito
Pubblicazione: (2025)

Ad Hominem Laundering: The Epistemic Vacuity and Rhetorical Power of the "Conspiracy Theory" Label
di: Sophia, Franny Philos
Pubblicazione: (2026)

Aplicación del principio de Fermat a la tomografía sísmica. Parte I: fundamentos físicos
di: Sebastián Araujo
Pubblicazione: (2010)