Symbolic Summation Execution Protocol | Symbolic Summation | Mathematics | NEROS