A Bijective Proof of Lassalle's Partition Identity.

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

Keyphrases

theorem prover
theorem proving
case study
linear logic
information systems
machine learning
search engine
e learning
automated theorem proving
proof planning
geometry theorem proving