Formal Development of Several Algorithms for Combinatorial Mathematics Problems

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