presented at event International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics/International Conference on Interval Methods in Science and Engineering Conference