您的位置： 专家智库 > >

靳海涛

作品数：3 被引量：0H指数：0
供职机构：南开大学更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

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

领域

  • 3篇理学
  • 1篇自动化与计算...

主题

  • 2篇等式
  • 2篇恒等
  • 2篇恒等式
  • 1篇代数
  • 1篇调和数
  • 1篇多项式
  • 1篇正交多项式
  • 1篇特殊函数
  • 1篇组合恒等式
  • 1篇机器证明
  • 1篇计算机
  • 1篇计算机代数
  • 1篇函数
  • 1篇STIRLI...

机构

  • 3篇南开大学

作者

  • 3篇靳海涛
  • 1篇孙慧
  • 1篇杜康

年份

  • 1篇2014
  • 1篇2013
  • 1篇2010
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
正交多项式中的计算机代数
作为一类重要的特殊函数,经典正交多项式因其在化学,理论物理,工程等领域的广泛应用而一直是数学研究中的热点课题。对正交多项式的研究始于Chebyshev,至今已有相当长的历史,其主要研究课题包括微分(差分)方程,递推关系,...
靳海涛
文献传递
组合恒等式的计算机辅助研究
本篇论文的主要结果是利用几种新的计算机辅助方法来证明和推导组合恒等式。主要包括如下三部分:一是将Abel引理与Gosper算法及WZ方法相结合来推导含有调和数的组合恒等式;二是基于扩展的Abel引理提出了Abel-Zei...
靳海涛
关键词：组合恒等式调和数STIRLING数
文献传递
特殊函数恒等式的机器证明与组合证明
孙慧靳海涛杜康
该项目旨在研究特殊函数恒等式的机器证明与组合证明方法.特殊函数在组合数学、数学分析、泛函分析、物理学和生物学等众多数学分支和相关学科中都有重要的应用，特殊函数恒等式是当前代数组合学的重要研究课题之一.该项目主要成果包括：...
关键词：
全选 清除 导出
共1页<1>
聚类工具0