Как проверить конгруэнтность заданных квадратных матриц?

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