Symbolic Summation Protocol Design | Symbolic Summation | Mathematics | NEROS