How many eigenvalues of a random
matrix are real?
v The Probability that a matrix has all real
eigenvalues is exactly
Pn,n=2-n(n-1)/4
Proof based on Schur Form