Symbolic Elimination Execution Protocol | Symbolic Elimination | Mathematics | NEROS