Karl-Udo Jahn

  • Citations Per Year
Learn More
It will be shown that by using directed roundings resp. enclosure sets for the exact values, the loop conditions and loop invariants of numerical algorithms can be generalized for computing in a discrete screen. On this way, in spite of rounding errors, it is possible to verify the received results. Thereby only inherent properties of the algorithms are(More)
Das Hauptresultat dieser Arbeit ist ein Fixpunktsatz für Intervallfunktionen. Dieser Satz und zwei weitere Fixpunktsätze werden angewandt auf lineare und nichtlineare algebraische Gleichungen sowie auf nichtlineare Integralgleichungen. The main result of this paper is a fixed point theorem for interval functions. This theorem and two additional fixed point(More)
  • 1