期刊文献+

部分子结式性质的改进证明

An Improvement Upon the Proofs of Some Properties of Subresultants
下载PDF
导出
摘要 为了更好的计算两个单变元多项式的最大公因式,20世纪初有Burside和Panton首先提出了结式的概念,在结式的基础上又提出了子结式的概念,这使得求最大公因式有了一个更系统的算法.计算机代数中关于子结式的经典定义过于繁琐,文献[1]中给出了子结式的一种简洁的定义.主要是借助文献[1]新定义的方法给出部分子结式的性质的证明及一些相应的例题,并对部分结论进行了一定的推广. In order to efficiently compute the two one-variable polynomials' greatest common factor, Burside and Panton first proposed the concept of resultants at the beginning of the twentieth century. The concept of subresultants emerged on later, then the greatest common factor had a more system method to solve. The definition of the subresultants in computer algebra is too cumbersome, paper [1 ] gives a new definition which is easy-to-understand. In this pape, we focus on the proofs of some properties of the subresultants, some examples is given and we also promote some of the properties to a certain degree.
出处 《大学数学》 2013年第6期55-64,共10页 College Mathematics
关键词 子结式 余子式 公因式 subresultants resultants greatest common factor
  • 相关文献

参考文献8

  • 1Li Y B. A new approach for constructing subresultants[J].Applied Mathematics and Computation Series,2006.471-476. 被引量:1
  • 2程玉福.计算机代数讲义[M]{H}北京:高等教育出版社,2009. 被引量:1
  • 3王东明;夏壁灿;李子明.计算机代数[M]北京:清华大学出版社,2007161-186. 被引量:1
  • 4张树功;雷娜;刘停战.计算机代数基础--代数与符号计算的基本原理[M]{H}北京:科学出版社,2005. 被引量:1
  • 5杨路;张景中;侯晓荣.非线性代数方程组与定理机器证明[M]{H}上海:上海科技教育出版社,2001. 被引量:1
  • 6杨路;夏壁灿.不等式机器证明与自动发现[M]{H}北京:科学出版社,2008. 被引量:1
  • 7David Cox,John Little,Donal o'shea. Ideals,varieties and algorithms[M].{H}Springer-Verlag,. 被引量:1
  • 8Collins,George E. Subresultants and reduced polynomial remainder sequences[J].{H}Journal of the Association for Computing Machinery,1967.128-142. 被引量:1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部