A combinatorial generalisation of the Jordan curve theorem.

C. Paul Bonnington Charles H. C. Little

Published in: Australas. J Comb. (1994)

Keyphrases

digital topology
digital surface
b spline
von neumann
curve matching
database
data sets
geometric properties
computational geometry
discrete space
intuitionistic logic
interactive theorem proving