63 citations · 83 across the 11 of their papers we have counts for
1 paper · 2 filters
Eva Darulova, Viktor Kuncak
Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. In many domai…