Garloff, JürgenJürgenGarloffJansson, ChristianChristianJanssonSmith, Andrew PaulAndrew PaulSmith2021-04-152021-04-152002Workshop on Validated Computing, 2002, El Paso, Texas. - Philadelphia, Pa. : SIAM, 2002. - Seite 73–75http://hdl.handle.net/11420/9306enInformatikMathematikConference PaperOther