Stone formula (source code)

= Stone formula
{c}
{wiki}

Stone's formula recovers spectral projections of a self-adjoint operator from the jump of its resolvent across the real axis, with half weight at interval endpoints.