Geometric Computations with Interval and New Robust Methods by Helmut Ratschek & Jon Rokne