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