Рационально проверяемые необходимые условия эрмитовой конгруэнтности комплексных матриц

Конечный вычислительный процесс, использующий только арифметические операции, будем называть рациональным алгоритмом. Говорят, что матрицы $A$ и $F$ эрмитово конгруэнтны, если $F = Q^*AQ$ для некоторой невырожденной матрицы $Q$. Дан обзор необходимых условий эрмитовой конгруэнтности, допускающих проверку рациональными алгоритмами. Библ. – 7 назв.