Algebraic Manipulation Validation and Optimization Protocol | Algebraic Manipulation | Mathematics | NEROS