Symbolic Simplification by Software Protocol Design | Symbolic Simplification by Software | Mathematics | NEROS