P
Initializing...
Theorem 5.2 (Algorithm MR) — global convergence of Algorithm MR · Prove2Me