Coq Verification Supplement for "A Finite-Cell Structural Reduction of Integer Factorization via the Prime Structural Map and the Matsuura Hierarchy (MSHD–HSTG)"

Exploring foci of: Zenodo (CERN European Organization for Nuclear Research) Coq Verification Supplement for "A Finite-Cell Structural Reduction of Integer Factorization via the Prime Structural Map and the Matsuura Hierarchy (MSHD–HSTG)" December 2025 • Matsuura, Yoshihito This deposit provides the Coq verification supplement for the manuscript: “A Finite-Cell Structural Reduction of Integer Factorization viathe Prime Structural Map and the Matsuura Hierarchy (MSHD–HSTG)”by Yoshihito Matsuura (2025). The supplement contains 12 Coq source files implementing: the PSM structural profiles (height, lineage), the finite-cell reduction scheme for integer factorization, small and large numerical examples, and a minimal _CoqProject and README. These files enable independent verification of t… Open Article Page

Mathematical Proof Hierarchy Computer Science Mathematics Algorithm Discrete Mathematics Theoretical Computer Science Arithmetic Data Structure Open Article

Algebraic Number Lock And Key Polyhedron Open Article