Congruences and unitary congruences in matrix theory

This paper is a review of basic facts related to important matrix transformations such as congruence, pseudo-similarity, and unitary congruence. The concept of a rational algorithm is formulated and the question of which problems in the congruence theory can be solved by rational algorithms is discussed.