Manuscript IX-B-ST@1 · IX-B-ST.tex · section · f6af1523
A quantitative enclosure interface
Finite numerical certificates and a destructive clock › A quantitative enclosure interface · lines 1599–1605
The theorem is an error-propagation statement, not an executed quadrature or a general computability theorem for arbitrary smooth inputs. The constants and numerical enclosures used by an actual finite certificate must be supplied and justified.