Verified computation for the geometric mean of two matrices
continuous-time algebraic Riccati equation
scientific article; zbMATH DE number 7343405