Minimizer Existence Proof Workflow Protocol | Minimizer Existence Proof | Mathematics | NEROS