Ulrich Kulisch Books
Numerical Toolbox for Verified Computing I
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 over...
Read More
Numerical Toolbox for Verified Computing I
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 over...
Read More
Perspectives on Enclosure Methods
Enclosure methods and their applications have been developed to a high standard during the last decades. These methods guarantee the validity of the computed results. This means they are of the sam...
Read More
Advanced Arithmetic for the Digital Computer
The book deals with computer arithmetic in a more general sense than usual. Advanced computer arithmetic requires that all computer approximations of arithmetic operations - in particular those in...
Read More