b4m

MaRDI QIDQ16195swMATHFDO

Official website http://www.ti3.tu-harburg.de/zemke/b4m/

Cited in

(8)

• INTLIB
• Accurate solution of dense linear systems. II: Algorithms using directed rounding
• Fast algorithms for floating-point interval matrix multiplication
• Int4Sci
• Krylov subspace methods in finite precision: A unified approach
• A nonlinear set-membership filter for on-line applications
• A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
• Interval arithmetic with containment sets

This page was built for software: b4m