Last updated: 14 October 2014
To Professor Robert C. Thompson, for his guidance, encouragement, and understanding throughout the effort.
This is an excerpt from Steven Andrew Johnson's 1979 dissertation The Schubert Calculus and Eigenvalue Inequalities for Sums of Hermitian Matrices.