您的位置： 专家智库 > >

付梅

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

合作作者

文献类型

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

领域

  • 4篇理学

主题

  • 3篇级数
  • 3篇超几何级数
  • 1篇对称函数
  • 1篇数学
  • 1篇数学机械化
  • 1篇算子
  • 1篇组合函数
  • 1篇微分
  • 1篇微分算子
  • 1篇基本超几何级...
  • 1篇机器证明
  • 1篇函数
  • 1篇Q-级数
  • 1篇插值
  • 1篇插值公式

机构

  • 4篇南开大学

作者

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

年份

  • 1篇2008
  • 1篇2007
  • 1篇2005
  • 1篇2004
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
数学机械化
陈永川侯庆虎杨立波付梅谷珊珊季青郭强辉杨丽敏严慧芳徐召
项目围绕组合数学的机械化展开，共完成了六个通用程序库，重点实现了机器证明、q-级数、对称函数和组合计数等四个领域的常用函数包。这些程序库包括了机器证明、q-级数、对称函数、排列和路及树、集合论和概率方法等领域中常用的基本...
关键词：
微分算子与q-级数
付梅
19世纪中期，德国数学家Heine作为Gauss超几何级数的推广形式引入了基本超几何级数的概念。经过100多年的发展，基本超几何级数理论日趋的完善和系统化并在李代数、统计力学、超越数理论以及计算机代数等领域有广泛的应用，...
关键词：
关键词：基本超几何级数微分算子对称函数
Divided Differences and Basic Hypergeometric Series
该文主要研究微分算子理论在基本超几何级数研究中的应用，包含了以下三个方面的内容： ●对称算子在分拆分析中的应用 ●微分算子和展开公式在基本超几何级数理论中的应用 ●介绍一种从单向基本超几何级...
付梅
关键词：超几何级数插值公式
文献传递
组合函数
陈永川郭军伟杨立波付梅赵静宇陈彩云吴宜均
从组合理论出发，结合代数方法进行的研究工作能严格证明物理学家们熟悉已久的复杂多项式的对称性。给出了双Schur函数的组合解释，从而可以方便的得到该函数的一些性质及等价定义，对揭示对称函数的本质和性质起到了重要的作用。还将...
关键词：
关键词：组合函数超几何级数机器证明
全选 清除 导出
共1页<1>
聚类工具0