您的位置： 专家智库 > >

冯如勇

作品数：3 被引量：2H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
发文基金：国家自然科学基金美国国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇理学

主题

  • 2篇定理
  • 2篇行列式
  • 2篇WRONSK...
  • 1篇定理机器证明
  • 1篇曲面
  • 1篇微分
  • 1篇阶乘
  • 1篇结构定理
  • 1篇机器证明
  • 1篇变元
  • 1篇差分
  • 1篇Q

机构

  • 3篇中国科学院数...
  • 1篇北京科技大学
  • 1篇北卡罗莱纳州...

作者

  • 3篇冯如勇
  • 1篇李应弘
  • 1篇康劲
  • 1篇于建平
  • 1篇付国锋
  • 1篇陈绍示

传媒

  • 2篇系统科学与数...
  • 1篇中国科学（A...

年份

  • 1篇2012
  • 1篇2011
  • 1篇2008
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
多变元q-超几何项的乘法分解被引量：1
2012年
将Ore-Sato定理的q-模拟由非混合情形推广到混合情形,证明了可驯条件下,混合q-超几何项可以分解为有理函数与q-阶乘项的乘积.
陈绍示冯如勇付国锋康劲
关键词：结构定理
基于特征列方法和Wronskian行列式的曲面定理机器证明
2008年
将Chou与Gao的关于微分几何中曲线定理机器证明的方法推广到微分几何曲面定理中.改进了经典的Wronskian行列式,它可以用于判断微分域中的有限个元素是否在其常数域上线性相关.基于Wronskian行列式,可以用代数语言来描述微分几何曲面理论中的几何表述,进而用特征列方法来证明这些定理.
冯如勇于建平
关键词：定理机器证明WRONSKIAN行列式
微分、差分域中的Wronskian行列式被引量：1
2011年
众所周知,给定微分或差分域上一组元素,它们在常数域上线性相关当且仅当它们所对应的Wronskian行列式或者Casoratian行列式为零.文章将这个结果推广到具有微分导子和差分导子的微分差分域;同时基于Okugawa的工作,还将结果推广到特征非0的微分差分域.
李应弘冯如勇
关键词：WRONSKIAN行列式
全选 清除 导出
共1页<1>
聚类工具0