Compartir
numerical toolbox for verified computing i: basic numerical problems theory, algorithms, and pascal-xsc programs
Rolf Hammer
(Autor)
·
Matthias Hocks
(Autor)
·
Ulrich Kulisch
(Autor)
·
Springer
· Tapa Blanda
numerical toolbox for verified computing i: basic numerical problems theory, algorithms, and pascal-xsc programs - Hammer, Rolf ; Hocks, Matthias ; Kulisch, Ulrich
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
Reseña del libro "numerical toolbox for verified computing i: basic numerical problems theory, algorithms, and pascal-xsc programs"
This book presents an extensive set of tools for solving basic numerical problems with verification of the results using the scientific computer language PASCAL-XSC. It contains implementations of algorithms and many examples and exercises. Some topics covered are usually not found in standard numerical analysis texts. It is written for engineers, mathematicians and scientists working in scientific computing.