Manuscript Hawk04-A@1 · Hawk04-A.tex · section · 526092ba
One certified point can give a finite interval
What a positive finite-time certificate must contain › One certified point can give a finite interval · lines 1740–1745
This proposition certifies an interval if its strict pointwise premise is actually proved. It does not furnish that premise for the interacting model.