Verification of closest pair of points algorithms. (English) Zbl 07614680
Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 341-357 (2020).
MSC:
68V15