Probability that product of real random matrices have all eigenvalues real tend to 1

From MaRDI portal
Publication:512788