组合数学机械化通用程序库软件系统是在天津市科技发展计划项目“数学机械化”基础上研发 的软件。

本软件共完成了六个通用程序库，重点实现了机器证明、q-级数、对称函数和组合计数等四个 领域的常用函数包。这些程序库包括了机器证明、q-级数、对称函数、排列和路及树、集合论 和概率方法等领域中常用的基本函数和过程。本软件的开发目的是为组合数学科研和教学提供 辅助工具，免费对外使用，欢迎大家提出宝贵意见。