Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs /

41

Bibliographic Details
Main Author: Hammer, R.
Format:
Published: Berlin : Springer-Verlag, 1993
Subjects: