Work

GRSC Paper46-55: Finite Presentation Interface: A Formal-Numerical Research Package

Year: 2026

Type: article

Abstract: A formal-numerical research package for the Paper46-55 finite presentation-interface group in the Gauss-Riemann Spectral Calculus programme. The package contains 13 papers in Markdown, TeX, and PDF formats, an explicit Lean FinitePresentationSeal module, finite numerical evidence tables, producer scripts, ten paper-level audits, public-boundary checks, and package documentation. Zenodo's workingpaper type is used as the closest available record type for this integrated paper-code-evidence package.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.20652805

Author: Wangyue

Language: English

Topic: Analytic Number Theory Research

Subfield: Algebra and Number Theory

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7164525997

FWCI:

Cites:

Cited by:

Related to: