M Gąsiorek - Applied Mathematics and Computation, 2023 - Elsevier
We study algorithms that construct an invertible matrix B∈ M n (Z) that defines congruence B
tr· X· B= Y of given square rational matrices X, Y∈ M n (Q). We describe a general algorithm …