CRM Audit of the Riemann-Hilbert Correspondence: Constructive Cost of the Regular Holonomic Equivalence (Paper 106 of the Constructive Reverse Mathematics Series)
Fields of Study & Subjects
Algebraic Geometry and Number Theory
Mathematical and Theoretical Analysis
Computability
Logic
AI Algorithms
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 8 March 2026
- Language
- EN
- Document type
- Preprint