A finite rational algorithm that verifies the diagonalizability of a square matrix by congruence
scientific article; zbMATH DE number 6624305