Quantifier Elimination Protocol Design | Quantifier Elimination | Mathematics | NEROS