A combinatorial proof of the Rogers-Ramanujan and Schur identities.

Cilanne Boulet Igor Pak

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

Keyphrases

theorem prover
mathematical proofs
databases
information retrieval
multiscale
natural language
evolutionary algorithm
linear programming
interior point methods