λEnter Calculus CompanionRegistered manuscripts, kept distinct

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 1558–1568

Back to manuscript

Fix one operation $a D$ , one compact test $Φ$ , and one catalogue choice $(ρ, μ)$ . Set

z = ⟨ a D u_{μ}^{ρ}, Φ ⟩, A_{ε} = ⟨ a D T_{ε}^{ρ}, Φ ⟩, b = ⟨ a D r, Φ ⟩, L_{ε} = lo g ((μ ε)^{- 1}) .

Displayed formulas in this passage

unlabeled · line 1562
$z = ⟨ a D u_{μ}^{ρ}, Φ ⟩, A_{ε} = ⟨ a D T_{ε}^{ρ}, Φ ⟩, b = ⟨ a D r, Φ ⟩, L_{ε} = lo g ((μ ε)^{- 1}) .$

Nearby in this section