HomeSearchLibrary
Diagonalizable matrices | OmniWiki