An Algorithm Verifying the Congruence of Complex Matrices Whose Cosquares Have Eigenvalues of Modulus One
Х. Д. Икрамов, V. A. Usov · Moscow University Computational Mathematics and Cybernetics · 2020
Abstract A finite computational process using arithmetic operations only is called a rational algorithm. Presently, no rational algorithm is available that is able to check the congruence of arbitrary complex matrices A and B. In this paper, we propose a rational algorithm of verification that works under less stringent conditions than all the conditions known by now.