共 50 条
- [1] Bijective Proofs of Proper Coloring Theorems [J]. AMERICAN MATHEMATICAL MONTHLY, 2021, 128 (06): : 483 - 499
- [2] Generalized Kneser coloring theorems with combinatorial proofs [J]. Inventiones mathematicae, 2002, 147 : 671 - 691
- [3] Short proofs of coloring theorems on planar graphs [J]. EUROPEAN JOURNAL OF COMBINATORICS, 2014, 36 : 314 - 321
- [5] Generalized Kneser coloring theorems with combinatorial proofs [J]. Inventiones mathematicae, 2006, 163 : 227 - 228
- [8] Three Sylow Theorems and Their Proofs [J]. 2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259
- [9] Proofs of lemmas and theorems in the UTP [J]. REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING, 2006, 3167 : 369 - 374