您的位置： 专家智库 > >

严慧芳

作品数：2 被引量：0H指数：0
供职机构：南开大学更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇学位论文
  • 1篇科技成果

领域

  • 2篇理学

主题

  • 1篇数学
  • 1篇数学机械化
  • 1篇计数问题

机构

  • 2篇南开大学

作者

  • 2篇严慧芳
  • 1篇杨立波
  • 1篇郭强辉
  • 1篇杨丽敏
  • 1篇谷珊珊
  • 1篇徐召
  • 1篇侯庆虎
  • 1篇陈永川
  • 1篇季青
  • 1篇付梅

年份

  • 1篇2008
  • 1篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
数学机械化
陈永川侯庆虎杨立波付梅谷珊珊季青郭强辉杨丽敏严慧芳徐召
项目围绕组合数学的机械化展开，共完成了六个通用程序库，重点实现了机器证明、q-级数、对称函数和组合计数等四个领域的常用函数包。这些程序库包括了机器证明、q-级数、对称函数、排列和路及树、集合论和概率方法等领域中常用的基本...
关键词：
匹配与对合中的有禁模式
本文主要研究了几类有禁匹配和有禁对合的计数问题。本论文由三部分组成。 第一部分主要研究一类有禁匹配的计数问题。匹配是没有不动点的对合。第二部分主要研究有禁对合问题。最后一部分主要是关于不完整Motzkin路的等...
严慧芳
关键词：计数问题
全选 清除 导出
共1页<1>
聚类工具0