b4m

MaRDI QIDQ16195swMATHFDO

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

Cited in

(8)

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

This page was built for software: b4m