Ulrich Kulisch Books
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 MoreNumerical 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 MoreNumerical 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 MorePerspectives 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