Jean-Guillaume Dumas, Erich Kaltofen. Essentially optimal interactive certificates in linear algebra. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 146-153, ACM, 2014. [doi]
Abstract is missing.