Marc Mörig Stefan Schirra On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms. 45-48 2007 conf/cccg/2007 CCCG db/conf/cccg/cccg2007.html#MorigS07