Cover Image

Numerical Toolbox for Verified Computing I : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs /

This book presents an extensive set of sophisticated tools to solve numerical problems with a verification of the results using the features of the scientific computer language PASCAL-XSC. The overriding concern of this book is reliability - the automatic verification of the result a computer return...

Full description

Bibliographic Details
Main Author: Kulisch, Ulrich
Corporate Author: SpringerLink (Online service)
Other Authors: Hammer, Rolf, Ratz, Dietmar, Hocks, Matthias
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993.
Series:Springer series in computational mathematics ; 21.
Subjects:
Mathematics.
Computer science.
Numerical analysis.
Electronic books.
Online Access:Connect to the full text of this electronic book

Similar Items