Research report 2018 - Max Planck Institute for Software Systems, Kaiserslautern site

Automated numerical approximations

Darulova, Eva
Max-Planck-Institut für Softwaresysteme, Standort Kaiserslautern, Kaiserslautern
Approximations permeate our computing systems. They help to save computing resources such as time and energy, but they also necessarily introduce errors. How do these errors affect the overall correctness of our computations? To handle the complexity of today's computer programs, we need to develop tools, which automatically analyze the effects of approximation errors and thus help engineers to write correct and efficient code.

For the full text, see the German version.

Go to Editor View