Login / Signup
Another proof of dilworth's decomposition theorem.
Oliver Pretzel
Published in:
Discret. Math. (1979)
Keyphrases
</>
interactive theorem proving
theorem prover
image decomposition
neural network
theorem proving
decomposition method
decomposition algorithm
decomposition methods
data sets
databases
real world
data mining
information retrieval
information systems
similarity measure
hierarchical decomposition