Fast Verification Algorithms in MATLAB

Siegfried M. Rump. Fast Verification Algorithms in MATLAB. In Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto, editors, Symbolic Algebraic Methods and Verification Methods. pages 209-226, Springer, 2001.

Abstract

Abstract is missing.