Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

b4m

b4m (BIAS for Matlab): Interval Arithmetic Toolbox

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

  • (extremely) ill-conditioned matrices
  • numercial method
  • invariant sets
  • rigorous error bounds
  • inner bounds
  • interval matrices
  • verified computations
  • division by zero
  • Interval arithmetic
  • infinite-dimensional maps
  • Conley index
  • set-membership estimation
  • numerical examples
  • linear systems
  • validated computation
  • infinity
  • Matlab implementation
  • uncertainty modelling
  • Kot-Schaffer model for plants
  • interval arithmetic
  • stability analysis
  • data with tolerances
  • matrix multiplication
  • nonlinear systems
  • containment set
  • ill-conditioned linear systems

  • URL: www.ti3.tu-harburg.de/...
  • InternetArchive
  • Authors: Rump, Siegfried M.; Olaf Knüppel; J. Zemke
  • Dependencies: Matlab

  • Add information on this software.


  • Related software:
  • INTLAB
  • Matlab
  • mctoolbox
  • INTLIB
  • PROFIL/BIAS
  • VERSOFT
  • Int4Sci
  • LinBox
  • SRRIT
  • GAIO
  • Show more...
  • JDQR
  • filib++
  • ARPACK
  • MuPAD
  • Show less...

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
y Sorted by year (citations)

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

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 37 Dynamical systems and...
      • 54 General topology
      • 65 Numerical analysis
      • 93 Systems theory; control

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000
  • Terms & Conditions
  • Imprint
  • Privacy Policy