Критерий унитарной конгруэнтности матриц

Пусть $A$ и $B$ – квадратные комплексные матрицы одинакового порядка $n$. Предложен критерий для проверки унитарной конгруэнтности этих матриц. Он основан на одном важном результате Хонга и Хорна и требует выполнения лишь конечного числа арифметических операций. Ранее не было известно критериев, обладающих этим свойством конечности. Библ. – 7 назв.