Recoverable Recursion on a Fixed Reference Domain: A Constructive Existence Theorem for Polynomial Radial Deformations
Abstract
This record contains the version 2 release of the manuscript: "Recoverable Recursion on a Fixed Reference Domain:A Constructive Existence Theorem for Polynomial Radial Deformations." This version clarifies the mathematical scope, refines the contribution statement, and provides the final manuscript together with the LaTeX source files. Formal verification artifacts are maintained separately from this publication archive.
Fields of Study & Subjects
Formal Methods in Verification
Logic
programming
and type systems
Polynomial and algebraic computation
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 23 September 2026
- Document type
- Preprint