b4m
b4m (BIAS for Matlab): Interval Arithmetic Toolbox
Keywords for this software
References in zbMATH (referenced in 6 articles )
Showing results 1 to 6 of 6.
Sorted by year (- Rump, Siegfried M.: Accurate solution of dense linear systems. II: Algorithms using directed rounding (2013)
- Ozaki, Katsuhisa; Ogita, Takeshi; Rump, Siegfried M.; Oishi, Shin’ichi: Fast algorithms for floating-point interval matrix multiplication (2012)
- Pryce, J. D.; Corliss, G. F.: Interval arithmetic with containment sets (2006)
- Day, S.; Junge, O.; Mischaikow, K.: A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems (2004)
- Scholte, Eelco; Campbell, Mark E.: A nonlinear set-membership filter for on-line applications (2003)
- Zemke, Jens-Peter Max: Krylov subspace methods in finite precision: A unified approach (2003)