@misc{indiciae9115bbd3339d,
  title = {CAD Adjacency Computation Using Validated Numerics},
  author = {Adam Strzebonski},
  year = {2017},
  url = {https://arxiv.org/abs/1704.06856},
  note = {Source identifier: 1704.06856}
}