Proof of a conjectured exponential formula
eigenvalues of a sum of Hermitian matrices
eigenvalues of a product of unitary matrices
scientific article