A short proof for a partition identity of Hwang and Wei.

Peter Kirschenhofer Helmut Prodinger

Published in: Discret. Math. (1984)

Keyphrases

theorem prover
information retrieval
case study
linear logic
artificial intelligence
website
image segmentation
theorem proving