Numerical robustness, topological correctness, reliability, accuracy, and simultaneously efficiency of geometric algorithms are fundamental requirements for spatial predicates and operations in spatial database systems, geographical information systems, VLSI design, CAD, and many other related application areas. Although (theoretical) computational geometry… (More)