Formal Power Series Manipulation Review and Validation Protocol | Formal Power Series Manipulation | Mathematics | NEROS