http://www.w3.org/ns/prov#value | - Now, there is a 'natural' and I would say standard wey to give a meaning to a sum $\sum a_n$ up to a real value, just by smoothing (if you prefer, convolution): fix a smooth function $\chi(t)$ equal to 1 for $t\le1/4$ and vanishing for $t>3/4$, and define
|