Degree-Theoretic Existence Argument Execution Protocol | Degree-Theoretic Existence Argument | Mathematics | NEROS