Work

GRSC Paper56-62: Stable Algebraic Interface: A Formal-Numerical Research Package

Year: 2026
Type: article
Abstract: 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.
Author: Wangyue
Language: English
Open Access status: green
OpenAlex ID: W7164535837
FWCI:
Cites:
Cited by:
Related to: