Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
Exact rank certificates and the repaired affine family
Exact rank certificates and the repaired affine family · lines 798–804
Adding a kernel vector to the wrong particular solution preserves its nonzero residual. A solver exception does not validate a fallback vector.
Nearby in this section
- section: Exact rank certificates and the repaired affine family
- theorem: Theorem: Rank–minor–left-kernel certificate
- section: Exact rank certificates and the repaired affine family
- proposition: Proposition: Complete right-kernel certificate
- section: Exact rank certificates and the repaired affine family
- theorem: Theorem: Permanent affine false-positive witness