Symbolic Elimination Protocol Design | Symbolic Elimination | Mathematics | NEROS