Elimination-based certificates for triangular equivalence and rank profiles

Jean-Guillaume Dumas, Erich Kaltofen, David Lucas, Clément Pernet. Elimination-based certificates for triangular equivalence and rank profiles. Journal of Symbolic Computation, 98:246-269, 2020. [doi]

Abstract

Abstract is missing.