您的位置： 专家智库 > >

杨立波

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

合作作者

文献类型

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

领域

  • 4篇理学

主题

  • 2篇数学
  • 1篇定理
  • 1篇对称函数
  • 1篇行列式
  • 1篇学术
  • 1篇数学机械化
  • 1篇算子
  • 1篇组合函数
  • 1篇组合数
  • 1篇组合数学
  • 1篇机器证明
  • 1篇级数
  • 1篇函数
  • 1篇合数
  • 1篇CAUCHY...
  • 1篇差分算子
  • 1篇超几何级数
  • 1篇CAUCHY

机构

  • 4篇南开大学

作者

  • 4篇杨立波
  • 3篇陈永川
  • 2篇侯庆虎
  • 2篇付梅
  • 1篇陈彩云
  • 1篇郭强辉
  • 1篇严慧芳
  • 1篇杨丽敏
  • 1篇谷珊珊
  • 1篇徐召
  • 1篇吴宜均
  • 1篇郭军伟
  • 1篇季青
  • 1篇李学良
  • 1篇赵静宇

年份

  • 1篇2008
  • 1篇2005
  • 2篇2004
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
组合函数
陈永川郭军伟杨立波付梅赵静宇陈彩云吴宜均
从组合理论出发，结合代数方法进行的研究工作能严格证明物理学家们熟悉已久的复杂多项式的对称性。给出了双Schur函数的组合解释，从而可以方便的得到该函数的一些性质及等价定义，对揭示对称函数的本质和性质起到了重要的作用。还将...
关键词：
关键词：组合函数超几何级数机器证明
格路径和对称函数
Cauchy核的对角化是对称函数理论中最重要的定理之一.这个定理现在称为Cauchy定理.这篇博士论文的主要工作是从格路径的观点研究关于Schur函数的Cauchy核,并且给出了(齐次)差分算子和特殊Schubert多项...
杨立波
关键词：差分算子CAUCHY定理
数学机械化
陈永川侯庆虎杨立波付梅谷珊珊季青郭强辉杨丽敏严慧芳徐召
项目围绕组合数学的机械化展开，共完成了六个通用程序库，重点实现了机器证明、q-级数、对称函数和组合计数等四个领域的常用函数包。这些程序库包括了机器证明、q-级数、对称函数、排列和路及树、集合论和概率方法等领域中常用的基本...
关键词：
组合数学学术年
陈永川李学良侯庆虎杨立波
学术年期间，举办了两次大型国际组合数学的学术会议，邀请了包括4名美国科学院院士在内的40余名国内外知名组合数学专家参加会议，就代数组合学、生物数学等国际前沿课题开展了广泛的研讨。在会议前后，G. Andrews教授、R....
关键词：
关键词：组合数学
全选 清除 导出
共1页<1>
聚类工具0