A Combinatorial Proof of a Refinement of the Andrews - Olsson Partition Identity.

Christine Bessenrodt

Published in: Eur. J. Comb. (1991)

Keyphrases

partitioning algorithm
theorem prover
linear logic
data mining
refinement process
databases
real world
computer vision
artificial neural networks
query refinement
identity management
automated theorem proving
natural deduction
proof theory
covering arrays
geometry theorem proving