Canonical Form Reduction Validation and Optimization Protocol | Canonical Form Reduction | Mathematics | NEROS