A combinatorial proof of the extension property for partial isometries.

Jan Hubicka Matej Konecný Jaroslav Nesetril

Published in: CoRR (2018)

Keyphrases

data mining
computational geometry
information retrieval
object recognition
shape matching
desirable properties
linear logic
proof theoretic