Symbolic Summation Review and Validation Protocol | Symbolic Summation | Mathematics | NEROS