Symbolic Differential Solving Protocol Design | Symbolic Differential Solving | Mathematics | NEROS