Tag: real matrix analysis