Computing nearby non-trivial Smith forms - Giesbrecht, Mark; Haraldson, Joseph; Labahn, George (Journal of Symbolic Computation, 2021)