HomeSearchLibrary
Matrix diagonalization | OmniWiki