Manuscript En01-B@2 · En01-B-v2.tex · figure · f226d1eb
Figure
Gaussian regularization: sign, margin, and validated integration › Large smearing reduces the available margin · lines 1841–1864
En01-B@2#fig:small
A proved lower certificate, not an approximation to the full response curve. The certificate becoming zero does not mean the response changes sign; Theorem thm:sign proves otherwise.