Fast Matrix Rank Algorithms and Applications, Journal of the ACM, vol.60, issue.5, 2013. ,
Geppetto: Versatile verifiable computation, 2015 IEEE Symposium on Security and Privacy, pp.253-270, 2015. ,
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. ,
Essentially optimal interactive certificates in linear algebra, pp.146-153, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00932846
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
Simultaneous computation of the row and column rank profiles, pp.181-188, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00778136
Computing the rank profile matrix, pp.149-156 ,
URL : https://hal.archives-ouvertes.fr/hal-01107722
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
A new interactive certificate for matrix rank, 2015. ,
How to prove yourself: Practical solutions to identification and signature problems, Advances in Cryptology -CRYPTO'86, vol.263, pp.11-15, 1986. ,
Fast probabilistic algorithms, Mathematical Foundations of Computer Science, vol.74, pp.57-69, 1979. ,
Delegating computation: interactive proofs for muggles, pp.113-122, 2008. ,
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
Quadratic-time certificates in linear algebra, pp.171-176, 2011. ,
Faster algorithms for the characteristic polynomial, pp.307-314, 2007. ,
A Relaxed Algorithm for Online Matrix Inversion, pp.339-346 ,