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 Computing202002641[University of Louisiana at Lafayette]InformatikVerified inclusion of a basis of the null spaceJournal ArticleOther