Verification methods for dense and sparse systems of equations

Publikationstyp

Technical Report

Publikationsdatum

1993

Sprache

English

Author

Rump, Siegfried M.

Institut

Zuverlässiges Rechnen E-19

TORE-URI

http://hdl.handle.net/11420/9609

First published in

Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik

Number in series

93.7

Citation

Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 93.7: (1993)

Publisher

Techn. Univ. Hamburg-Harburg

DDC Class

004: Informatik

510: Mathematik