Jansson, ChristianChristianJansson2021-05-102021-05-101990Berichte des Forschungsschwerpunktes Informations- und Kommunikationstechnik 90.4: (1990)http://hdl.handle.net/11420/9493enInformatikMathematikA fast direct method for computing verified inclusionsTechnical ReportOther