A finite rational algorithm that verifies the diagonalizability of a square matrix by congruence

From MaRDI portal
Publication:309140