Abstract
For the toolbox INTLAB, entirely written in Matlab, new concepts have been developed for very fast execution of interval operations to be used together with the operator concept in Matlab. The new implementation of interval arithmetic is strongly based on the use of BLAS routines. The operator concept of Matlab offers the possibility of easy and user-friendly access to interval operations, real and complex interval elementary functions, automatic differentiation, slopes, multiple-precision interval arithmetic and much more. Some of the new concepts are presented. The paper focusses on implement at ion and mainly on performance issues.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aberth, O., Schaefer, M.J. (1992): Precise computation using range arithmetic, via C++. ACM Trans. Math. Softw. 18(4): 481–491
Börsken, N.C. (1978): Komplexe Kreis-Standardfunktionen (Ph.D.), Freiburger Intervall-Ber. 78/2, Inst. f. Ange-wandte Mathematik, Universitüt Freiburg
Braune, K.D. (1987): Hochgenaue Standardfunktionen für reelle und komplexe Punkte und Intervalle in beliebigen Gleitpunktrastern (Ph.D.). Universitüt Karlsruhe
Dongarra, J.J., Du Croz, J.J., Duff, I.S., Hammarling, S.J. (1990): A set of level 3 Basic Linear Algebra Subprograms. ACM Trans. Math. Softw. 16: 1–17
ANSI/IEEE 754 (1985): Standard for Binary Floating-Point Arithmetic
Knüppel, O. (1994): PROFIL/BIAS-A fast interval library. Computing 53: 277–287
Krümer, W. (1987): Inverse Standardfunktionen für reelle und komplexe Intervallargumente mit apriori Fehlerab-schützungen für beliebige Datenformate (Ph.D.). Universitüt Karlsruhe
MATLAB User’s Guide, Version 5 (1997): The Math Works Inc.
Oishi, S. (1998): private communication
Rall, L.B. (1981): Automatic Differentiation: Techniques and Applications. Lecture notes in Computer Science 120. Springer Verlag, Berlin-Heidelberg-New York
Rump, S.M. (1999a): Fast and parallel interval arithmetic. BIT 39(3):539–560
Rump, S.M. (1999b): INTLAB-INTerval LABoratory. In: Csendes, T. (ed.): Developements in Reliable Computing. Kluwer Academic Publishers, 77–104
Rump, S.M. (2000): Computational Error Bounds for Multiple or Nearly Multiple Eigenvalues. LAA, to appear
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Wien
About this paper
Cite this paper
Rump, S.M. (2001). Fast verification algorithms in Matlab. In: Alefeld, G., Rohn, J., Rump, S., Yamamoto, T. (eds) Symbolic Algebraic Methods and Verification Methods. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6280-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6280-4_20
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83593-7
Online ISBN: 978-3-7091-6280-4
eBook Packages: Springer Book Archive