Constructive Convergence Proof Protocol Design | Constructive Convergence Proof | Mathematics | NEROS