Numerical Software with Result Verification Jr von der er seine eigene

von der er seine eigene Existenz und die seiner Mitmenschen bedroht sah

mit seiner atemberaubenden wirtschaftlichen Entwicklung

dass er noch heute als einer der bedeutendsten Wegbereiter der Kunst der Neuzeit anzusehen ist

Die vorliegende Arbeit versucht darauf eine Antwort zu geben

wie sie das alles überstehen wollen

Numerical Software with Result Verification Jr von der er seine eigeneReliable computing techniques are essential if the validity of the output of a merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal gor in the de? nition of data types, the computer arithmetic,