Wyniki wyszukiwania:

Ais zu Beginn der achtziger Jahre die ersten 64K Computer mit hochauflo sender Bildschirmgraphik ihren Einzug in die mathematischen Institute und die Arbeitszimmer der Studenten nahmen, konnte man nur ahnen, welch unent behrliches Hilfsmittel hier entstanden war, urn mathematische und naturwis senschaftliche Phanomene graphisch sichtbar zu machen und ihre Strukturen aufzudecken. Wenn in Windeseile ein Funktionsgraph oder das Drahtmodell eines Korpers am Bildschirm erscheint, verschoben, gedreht oder vergroJ3ert wird, Kurven oder Flachen in ein Gitternetz eingepaJ3t oder Datenmengen in Bildern...

Reliable 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, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing...