Symbolic Derivation Protocol Design | Symbolic Derivation | Mathematics | NEROS