Login / Signup
A topological completeness theorem.
Carsten Butz
Published in:
Arch. Math. Log. (1999)
Keyphrases
</>
digital topology
topological spaces
directional relations
connected components
formal proofs
clustering algorithm
similarity measure
spatial objects
topological properties
topology preservation
geometric objects