Symbolic Manipulation Execution Protocol | Symbolic Manipulation | Mathematics | NEROS