Wolfram Luther, Werner Otten. Verified calculation of the solution of algebraic Riccati equation. In Tibor Csendes, editor, Developments in Reliable Computing, International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, Szeged, Hungary, September 22-25, 1998. pages 105-118, Springer, 1998. [doi]
Abstract is missing.