2014/06/02 by Geck, Meinolf
#15A18 #FOS: Mathematics #History and Overview (math.HO)
paper · doi:10.48550/arxiv.1406.0259
We present a proof of the existence of real eigenvalues of real symmetric matrices which does not rely on any limit or compactness arguments, but only uses the notions of "sup", "inf".