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