Weyl Differencing

A technique for bounding exponential sums by applying finite differencing (discrete derivatives) repeatedly to the complex phases, thereby lowering the effective polynomial degree of the phase and exposing cancellation that yields analytic upper bounds (e.g., Weyl's inequality).