Developments in Reliable Computing

These articles, presented at SCAN-98, cover validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accur... » 

These articles, presented at SCAN-98, cover validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in fields of practical interest. «