Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs /
41
| Main Author: | |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1993
|
| Subjects: |
| _version_ | 1826401693860888576 |
|---|---|
| author | Hammer, R. |
| author_facet | Hammer, R. |
| author_sort | Hammer, R. |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T23:52:31Z |
| format | |
| id | KOHA-OAI-TEST:227669 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T23:52:31Z |
| publishDate | 1993 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2276692020-12-19T17:06:50ZNumerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / Hammer, R. Berlin : Springer-Verlag,199341PSZJBLNumerical analysisError analysis (Mathematics)URN:ISBN:3540571185 |
| spellingShingle | Numerical analysis Error analysis (Mathematics) Hammer, R. Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / |
| title | Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / |
| title_full | Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / |
| title_fullStr | Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / |
| title_full_unstemmed | Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / |
| title_short | Numerical toolbox for verified computing 1 : basic numerical problems : theory, algorithms, and Pascal-XSC programs / |
| title_sort | numerical toolbox for verified computing 1 basic numerical problems theory algorithms and pascal xsc programs |
| topic | Numerical analysis Error analysis (Mathematics) |
| work_keys_str_mv | AT hammerr numericaltoolboxforverifiedcomputing1basicnumericalproblemstheoryalgorithmsandpascalxscprograms |