Formal Power Series Manipulation Execution Protocol | Formal Power Series Manipulation | Mathematics | NEROS