Login / Signup
Some Combinatorial Lemmas in Topology.
Harold W. Kuhn
Published in:
IBM J. Res. Dev. (1960)
Keyphrases
</>
machine learning
neural network
multiscale
theorem prover
theorem proving
covering arrays
databases
information systems
website
image sequences
similarity measure
optimal solution
search algorithm
medical images
topology preserving
topology preservation