Reliable Computing Toolbox INTLAB

INTLAB ist eine Matlab/Octave Toolbox zur Berechnung sicherer Schranken für die Lösung numerischer Probleme. INTLAB ist rein in Matlab/Octave implementiert und durch das Operator Konzept leicht anwendbar. Durch spezielle Definition der Intervallarithmetik sind die Programme um ein bis zwei Größenordnungen schneller als herkömmliche Implementierungen. Die Toolbox wird laufend erweitert und steht momentan in Release 5 zur Verfügung. Die Software wird weltweit von mehreren tausend Wissenschaftlern, in über 40 Ländern eingesetzt.

Publikationen

• Rump, S.M.; Kashiwagi M. : Implementation and improvements of affine arithmetic. Nonlinear Theory and Its Applications, IEICE., 2014(2(3)): S. 1101-1119, 2014.
• Rump, S.M.: Accurate solution of dense linear systems, Part I: Algorithms in rounding to nearest. Journal of Computational and Applied Mathematics (JCAM), 2013(242): S. 157–184, 2013.
• Rump, S.M.: Accurate solution of dense linear systems, Part II: Algorithms using directed rounding. Journal of Computational and Applied Mathematics (JCAM), 2013(242): S. 185–212, 2013.
• Ozaki, K.; Ogita, T.; Rump, S.M.; Oishi, S.: Fast algorithms for floating-point interval matrix multiplication. Journal of Computational and Applied Mathematics, 2012(236(7)): S. 1795–1814, 2012.
• Rump, S.M.: Verified Bounds for Least Squares Problems and Underdetermined Linear Systems. SIAM J. Matrix Anal. Appl. (SIMAX), 2012(33(1)): S. 130–148, 2012.