您的位置： 专家智库 > >

季青

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

合作作者

文献类型

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

领域

  • 2篇理学

主题

  • 1篇等式
  • 1篇映射
  • 1篇数学
  • 1篇数学机械化
  • 1篇恒等
  • 1篇恒等式
  • 1篇分拆恒等式

机构

  • 2篇南开大学

作者

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

年份

  • 1篇2008
  • 1篇2007
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
数学机械化
陈永川侯庆虎杨立波付梅谷珊珊季青郭强辉杨丽敏严慧芳徐召
项目围绕组合数学的机械化展开，共完成了六个通用程序库，重点实现了机器证明、q-级数、对称函数和组合计数等四个领域的常用函数包。这些程序库包括了机器证明、q-级数、对称函数、排列和路及树、集合论和概率方法等领域中常用的基本...
关键词：
分拆恒等式的映射与对合
该文主要是用组合的方法(映射与对合)证明一些著名的分拆恒等式，主要包括了下面的组合恒等式：欧拉分拆定理、Ramanujan恒等式、雅克比三重积公式、雅克比恒等式、欧拉五角数定理、高斯恒等式、五重积公式和 Andrews-...
季青
关键词：分拆恒等式映射
文献传递
全选 清除 导出
共1页<1>
聚类工具0