Inequality-Based Proof Protocol for Structured Analytical Execution | Inequality-Based Proof | Mathematics | NEROS