Kobayashi, RRKobayashiLange, MarkoMarkoLangeMinamihata, AtsushiAtsushiMinamihataRump, Siegfried M.Siegfried M.Rump2020-11-122020-11-122020Reliable computing (27): 26–41 (2020)http://hdl.handle.net/11420/7807en1573-1340Reliable Computing202002641University of Louisiana at LafayetteInformatikVerified inclusion of a basis of the null spaceJournal Article