1 paper · 1 filter
Eitetsu Ken, Satoru Kuroda
In [Mulmuley, 1987], Mulmuley gave an algorithm reducing the computation of the matrix rank function to that of determinants, of which the proof for the verification is elementary.…