CRM Audit of the Riemann-Hilbert Correspondence: Constructive Cost of the Regular Holonomic Equivalence (Paper 106 of the Constructive Reverse Mathematics Series)

Read full text
Authors: Paul Chun-Kit Lee
Cited by: 0

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