GRSC Paper56-62: Stable Algebraic Interface: A Formal-Numerical Research Package
A formal-numerical research package for the Paper56-62 stable algebraic-interface group in the Gauss-Riemann Spectral Calculus programme. The package contains papers, Lean interface files, finite audit tables, release-readiness records, and documentation. Zenodo's workingpaper type is used as the closest available record type for this integrated paper-code-evidence package.
Authors
- Wangyue (ORCID: https://orcid.org/0009-0004-1489-3556)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-06-12
- DOI
- https://doi.org/10.5281/zenodo.20653091
- Primary Topic
- Advanced Algebra and Geometry
- Type
- article
- Field-Weighted Citation Impact
- 0.00