H. Y. Cheung, T. C. Kwok, and L. C. Lau, Fast Matrix Rank Algorithms and Applications, Journal of the ACM, vol.60, issue.5, 2013.

C. Costello, C. Fournet, J. Howell, M. Kohlweiss, B. Kreuter et al., Geppetto: Versatile verifiable computation, 2015 IEEE Symposium on Security and Privacy, pp.253-270, 2015.

C. L. Dodgson, Condensation of Determinants, Being a New and Brief Method for Computing their Arithmetical Values, Proceedings of the Royal Society of London, vol.15, pp.150-155, 1866.

J. Dumas and E. Kaltofen, Essentially optimal interactive certificates in linear algebra, pp.146-153, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00932846

J. Dumas, E. Kaltofen, E. Thomé, and G. Villard, Linear time interactive certificates for the minimal polynomial and the determinant of a sparse matrix, pp.199-206, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01266041

J. Dumas, C. Pernet, and Z. Sultan, Simultaneous computation of the row and column rank profiles, pp.181-188, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00778136

J. Dumas, C. Pernet, and Z. Sultan, Computing the rank profile matrix, pp.149-156
URL : https://hal.archives-ouvertes.fr/hal-01107722

J. Dumas, C. Pernet, and Z. Sultan, Fast computation of the rank profile matrix and the generalized Bruhat decomposition, Journal of Symbolic Computation, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01251223

W. Eberly, A new interactive certificate for matrix rank, 2015.

A. Fiat and A. Shamir, How to prove yourself: Practical solutions to identification and signature problems, Advances in Cryptology -CRYPTO'86, vol.263, pp.11-15, 1986.

R. Freivalds, Fast probabilistic algorithms, Mathematical Foundations of Computer Science, vol.74, pp.57-69, 1979.

S. Goldwasser, Y. T. Kalai, and G. N. Rothblum, Delegating computation: interactive proofs for muggles, pp.113-122, 2008.

C. Jeannerod, C. Pernet, and A. Storjohann, Rank-profile revealing gaussian elimination and the CUP matrix decomposition, Journal of Symbolic Computation, vol.56, pp.46-68, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00655543

E. L. Kaltofen, M. Nehring, and B. D. Saunders, Quadratic-time certificates in linear algebra, pp.171-176, 2011.

C. Pernet and A. Storjohann, Faster algorithms for the characteristic polynomial, pp.307-314, 2007.

A. Storjohann and S. Yang, A Relaxed Algorithm for Online Matrix Inversion, pp.339-346