Constructive Reduction Workflow Protocol | Constructive Reduction | Mathematics | NEROS