Automated Symbolic Reasoning Execution Protocol | Automated Symbolic Reasoning | Mathematics | NEROS