Symbolic Computation Protocol Design | Symbolic Computation | Mathematics | NEROS