形式化开发若干组合数学问题的算法

• Formal Development of Several Algorithms for Combinatorial Mathematics Problems