Robustness and efficiency of geometric programs: The Predicate Construction Kit (PCK)
Keywords: Geometric predicates; Arbitrary precision; Symbolic perturbation; Expansion arithmetics;