Adam W. Strzebonski: CAD Adjacency Computation Using Validated Numerics. CoRR abs/1704.06856 (2017)