Symbolic Derivation Execution Protocol | Symbolic Derivation | Mathematics | NEROS