C
omputer science/
A
lgorithms/
G
eometry
2020
Closest Pair of Points Algorithms
by
Martin Rau
and
Tobias Nipkow
Jan 13