Symbolic Manipulation Protocol Design | Symbolic Manipulation | Mathematics | NEROS