TY - RPRT TI - Elimination-based certificates for triangular equivalence and rank profiles AU - Jean-Guillaume Dumas AU - Erich Kaltofen AU - David Lucas AU - Clément Pernet PY - 2019 DO - 10.1016/j.jsc.2019.07.013 UR - https://arxiv.org/abs/1909.05692 ID - 1909.05692 ER -