学术论文
2016年论文目录
2015年论文目录
2014年论文目录
2013年论文目录
2012年论文目录
2011年论文目录
2010年论文目录
2009年论文目录
2008年论文目录
2007年论文目录
2006年论文目录
2005年论文目录
2004年论文目录
2003年论文目录
2002年论文目录
应用开发
组合数学机械化通用程序库软件
“中国城市竞争力报告
“二十五史”全文检索系统
骨龄智能测试系统
中国药物专利数据库
 
     
  当前位置:首页>>科研成果>>组合数学机械化通用程序库软件
     
 

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

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

相关链接

  • 《组合数学机械化通用程序库软件》用户手册
  • 《组合数学机械化通用程序库软件》下载
  •  
         

    版权所有 南开大学组合数学中心 Email: info@cfc.nankai.edu.cn
    组合数学中心英文网