Rump, Siegfried M.Siegfried M.Rump2021-01-212021-01-212010-11-12Lecture Notes in Computer Science (6327 LNCS): 105-108 (2010-11-12)http://hdl.handle.net/11420/8539Methods will be discussed on how to compute accurate and reliable results in pure floating-point arithmetic. In particular, verification methods with INTLAB and error-free transformations will be presented in some detail.enInformatikAccurate and reliable computing in floating-point arithmeticConference Paper10.1007/978-3-642-15582-6_22Other