A Bijective Proof of Lassalle's Partition Identity.

Published in: J. Comb. Theory, Ser. A (2000)

Keyphrases

theorem proving
database
theorem prover
proof planning
partitioning algorithm
identity management
logic programming
mathematical proofs
proof search
linear logic
multiscale
case study
information systems
artificial intelligence
machine learning
data mining
data sets