P
Initializing...
Corollary 3.5 — along Algorithm 3.1, (3.8) holds and $\mathrm{cond}(H_k)\le(3((1+\bar\theta+\tau)/\tau)^m-2)^n/\bar\theta^m$ · Prove2Me