P
Initializing...
Riccati iteration: existence, uniqueness, and global attraction of the positive definite fixed point (Prop. 4.4.1, parts 1–3) · Prove2Me