Automated Symbolic Reasoning Protocol Design | Automated Symbolic Reasoning | Mathematics | NEROS