Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909
M.2 Numerical-kernel relations and Gate S-bv
M.2 Numerical-kernel relations and Gate S-bv · lines 392–396
XVI-L does not compute the full relation space of its admissible labels (XVI-L, thm:L5). This section constructs the presentation , , degree by degree.
Nearby in this section
- input: Input statement: Input (S-bv); certified by Theorem thm:wpA-Sbv
- remark: Remark: Motivation for Input (S-bv)
- remark: Remark: Status of Gate S-bv
- lemma: Lemma: Boundary-value calculus on Ω
- proposition: Proposition: Numerator representation
- proposition: Proposition: Two-direction equivalence of relations
- theorem: Theorem: Certified graded presentation
- proposition: Proposition: Unconditional wave-operator family