咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学

主题

  • 2 篇 algorithm proof
  • 2 篇 elimination
  • 1 篇 q-hypergeometric...
  • 1 篇 identities with ...

机构

  • 1 篇 NOT FOUND
  • 1 篇 department of ap...
  • 1 篇 department of ap...
  • 1 篇 department of ap...
  • 1 篇 department of ma...

作者

  • 2 篇 tianming wang
  • 1 篇 hongmei liu
  • 1 篇 yujuan huang

语言

  • 2 篇 英文
检索条件"主题词=Algorithm proof"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
ELIMINATION IN WEYI ALGEBRA AND q-IDENTITIES
收藏
分享
引用
Journal of Systems Science & Complexity 2007年 第4期20卷 601-609页
作者： Yujuan HUANG Tianming WANG Department of Mathematics & Physics Shandong Jiaotong University Jinan 250023 China Department of Applied Mathematics Dalian University of Technology Dalian 116024 China
In this paper, the following are introduced briefly： the basic concept of q-proper-hypergeometric; an algorithmic proof theory for q-proper-hypergeometric identities; and elimination in the non- commutative Weyl alge... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
ELIMINATION AND IDENTITIES WITH THE INTEGRAL SIGN
收藏
分享
引用
Journal of Systems Science & Complexity 2006年 第4期19卷 470-477页
作者： Hongmei LIU Tianming WANG Department of Applied Mathematics Dalian University of Technology Dalian 116024 China. Department of Applied Mathematics Dalian University of Technology Dalian 116024 Department of Mathematics Hainan Normal University Haikou 571158 China.
In this paper, we aim at using the elimination in Weyl algebra to give an algorithm for proving the identities with integral sign. Then, we test several examples that have been proved by D. Zeilberger.
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件