Geometry of digital spaces
Gábor T. Herman · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1998
In the recently published Ref. 1 the author survey a number of aspects of the geometry of digital spaces. In this article we exemplify the approach of that book, by providing a self-contained proof of one of its final result which is to do with the correctness and the characterization of the output of a general purpose boundary-tracking algorithm.