Options
Verification methods for dense and sparse systems of equations
Publikationstyp
Technical Report
Date Issued
1993
Sprache
English
Author(s)
Institut
TORE-URI
First published in
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