Formal Symbolic Derivation Review and Validation Protocol | Formal Symbolic Derivation | Mathematics | NEROS