TY  - RPRT
TI  - CAD Adjacency Computation Using Validated Numerics
AU  - Adam Strzebonski
PY  - 2017
UR  - https://arxiv.org/abs/1704.06856
ID  - 1704.06856
ER  -