A bijective proof of Kadell's conjecture on plane partitions.

Published in: Graphs Comb. (1990)

Keyphrases

clustering algorithm
theorem proving
three dimensional
theorem prover
evolutionary algorithm
linear logic
grid points
proof planning
data sets
databases
database systems
search algorithm
uncalibrated cameras