Manuscript En08-B@1 · En08-B.tex · definition · 23cac52a
Definition: Endpoint operational comparison
The connecting theorem › The precise comparison topology · lines 940–950
En08-B@1#def:comparison, En08-B@1#eq:operational-error
For a target , define the dimensionless comparison error of an implemented witness by
Displayed formulas in this passage
En08-B@1#eq:operational-error · line 944