Verified inclusion of a basis of the null space Kobayashi, R Lange, Marko Minamihata, Atsushi Rump, Siegfried M. 2020 - TUHH Open Research