Matrix rank certification
The electronic journal of linear algebra, Tome 11 (2004), pp. 16-23.

Voir la notice de l'article provenant de la source Electronic Library of Mathematics

Summary: Randomized algorithms are given for computing the rank of a matrix over a field of characteristic zero with conjugation operator. The matrix is treated as a black box. Only the capability to compute matrix*column-vector and row-vector*matrix products is used. The methods are exact, sometimes called seminumeric. They are appropriate for example for matrices with integer or rational entries. The rank algorithms are probabilistic of the Las Vegas type; the correctness of the result is guaranteed.
Classification : 15A03, 65F50, 68W30
Keywords: matrix rank, minimal polynomial, Black box matrix, seminumeric computation, exact arithmetic, randomized algorithms, Las Vegas algorithms
@article{ELA_2004__11__a20,
     author = {Saunders, B. David and Storjohann, Arne and Villard, Gilles},
     title = {Matrix rank certification},
     journal = {The electronic journal of linear algebra},
     pages = {16--23},
     publisher = {mathdoc},
     volume = {11},
     year = {2004},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ELA_2004__11__a20/}
}
TY  - JOUR
AU  - Saunders, B. David
AU  - Storjohann, Arne
AU  - Villard, Gilles
TI  - Matrix rank certification
JO  - The electronic journal of linear algebra
PY  - 2004
SP  - 16
EP  - 23
VL  - 11
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ELA_2004__11__a20/
LA  - en
ID  - ELA_2004__11__a20
ER  - 
%0 Journal Article
%A Saunders, B. David
%A Storjohann, Arne
%A Villard, Gilles
%T Matrix rank certification
%J The electronic journal of linear algebra
%D 2004
%P 16-23
%V 11
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ELA_2004__11__a20/
%G en
%F ELA_2004__11__a20
Saunders, B. David; Storjohann, Arne; Villard, Gilles. Matrix rank certification. The electronic journal of linear algebra, Tome 11 (2004), pp. 16-23. http://geodesic.mathdoc.fr/item/ELA_2004__11__a20/