Symbolic Equation Solving Protocol Design | Symbolic Equation Solving | Mathematics | NEROS