Dettaglio del documento
- Scheda
- Links
eBook | ||
Monografia | ||
Descrizione | 1: *Basic Numerical Problems : Theory, Algorithms, and Pascal-XSC Programs / R. Hammer ... [et al.]. - Berlin [etc.] : Springer-Verlag, 1993. - xv, 337 p. : ill. ; 24 cm | |
ISBN E-Book | 9783642784231 | |
Collana | Springer series in computational mathematics , 21 | |
Fa parte di | Numerical Toolbox for Verified Computing , 1 | |
Autore secondario |
|
|
Parole chiave |
Algorithms
Automatic Result Verification Numerical Analysis Numerics Optimization Program verification Programming Scientific Computing Self-Verifying Numerics Simplification Simplification of Programming Verification Verified Computing |
|
Luogo pubblicazione | Berlin | |
Editori | Springer <editore> | |
Anno pubblicazione | 1993 |