Functional-Analytic Existence Proof Execution Protocol | Functional-Analytic Existence Proof | Mathematics | NEROS