共 50 条
- [31] BIJECTIVE PROOFS OF SOME NORMAL-COLOR PARTITION-IDENTITIES CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES, 1989, 32 (03): : 327 - 332
- [32] Bijective proofs using two-line matrix representations for partitions RAMANUJAN JOURNAL, 2010, 23 (1-3): : 265 - 295
- [33] Verification of proofs of unsatisfiability for CNF formulas DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 886 - 891
- [39] Bijective proofs using two-line matrix representations for partitions The Ramanujan Journal, 2010, 23 : 265 - 295