Options
A fast direct method for computing verified inclusions
Publikationstyp
Technical Report
Date Issued
1990
Sprache
English
Author(s)
Institut
TORE-URI
First published in
Number in series
90.4
Citation
Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 90.4: (1990)
Publisher
Technische Universität Hamburg-Harburg
DDC Class
004: Informatik
510: Mathematik