Symbolic Elimination Review and Validation Protocol | Symbolic Elimination | Mathematics | NEROS