Verification methods for dense and sparse systems of equations

Rump, Siegfried M.Siegfried M.Rump2021-05-262021-05-261993Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 93.7: (1993)http://hdl.handle.net/11420/9609enInformatikMathematikVerification methods for dense and sparse systems of equationsTechnical ReportOther