Fast Verification Algorithms in MATLAB - researchr publication references

researchr

You are not signed in
Sign in
Sign up

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.

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL