您的位置： 专家智库 > >

王新民

作品数：2 被引量：0H指数：0
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 1篇代数
  • 1篇多项式
  • 1篇软件系统
  • 1篇数据结构
  • 1篇吴方法
  • 1篇线性代数
  • 1篇线性方程组
  • 1篇方程组
  • 1篇MMP

机构

  • 2篇中国科学院数...

作者

  • 2篇王新民
  • 1篇高小山

传媒

  • 1篇系统工程理论...

年份

  • 1篇2004
  • 1篇2003
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
MMP软件系统中的数据结构与符号线性代数模块
MMP是一个从系统底层开始构建的基于吴方法(吴整序理论)的数学机械化软件系统.作为国家基础研究发展规划项目(973)的重要研究内容,MMP为进一步推广和应用吴方法提供了一个优良的软件工作和开发的平台.该篇论文主要围绕MM...
王新民
关键词：多项式软件系统数据结构吴方法
文献传递
线性方程组符号求解Bareiss算法的改进与实现
2004年
　使用改进后的Bareiss消去法,在求解具有符号系数的线性方程组时可以避免普通Gauss消去法在计算过程中出现所谓中间系数爆炸的问题,还可以求解系数矩阵不是方阵以及系数矩阵奇异的线性方程组的情况.并且以这一改进算法与syzygy算法为基础,给出了求解多项式系数线性方程组的多项式解的算法.已经在自行开发的自动推理平台软件MMP上实现了这个算法.
王新民高小山
关键词：线性方程组
全选 清除 导出
共1页<1>
聚类工具0