Cover Image

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Dedenko, Grigoriy
Format:	Recurso digital
Published:	Zenodo 2025
Subjects:	Coq Fermat's Last Theorem GN(2) coverage parameter formal verification
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FLT-Coq v0.3.0 — GlobalNormalization module and maximum-coverage API
by: Dedenko, Grigoriy
Published: (2025)

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

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

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

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

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

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

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

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

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

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

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

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

Magnetic and mineralogical parameters of core MD12-3396Cq
by: Michel, Elisabeth, et al.
Published: (2024)

An Archimedean Diagonal Non–Coverage Principle for Anchored Indexed Systems
by: Jorge Zafaranich, Daniel Augusto
Published: (2026)

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

Verification of transaction level models of embedded systems
by: Lucky Lochi Yu Lo
Published: (2013)

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

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

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

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

Adversarial Ensemble Reasoning with Formal Verification: A Methodology for Trustworthy AI-Assisted Scientific Discovery
by: Goodman, John
Published: (2026)

rvsail v0.16.0 — FMCAD 2026 artifact: BOOM v3 ISA-Compliance proof bundle
by: Wu, Yi-De
Published: (2026)

Semi-formal specifications and formal verification improving the digital design: some statistics
by: D. Torres
Published: (2009)

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

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

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

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
by: Spivack, Nova
Published: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
by: Fujimoto, Nobuki, et al.
Published: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
by: Spivack, Nova
Published: (2026)

Fermat's Last Theorem
by: Keen, Joseph
Published: (2026)

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

Computer Aided Verification
Published: (2023)