期刊文献+

逐次Budan-Fourier算法与混合三角函数多项式的实根分离

Successive Budan-Fourier Algorithm and Real Roots Isolation of Mixed Trigonometric Polynomials
原文传递
导出
摘要 提出一个广义Budan-Fourier定理并设计了一个反复运用该定理实现反正切函数多项式实根分离的逐次Budan-Fourier算法,运用该算法解决了混合三角函数多项式的实根分离问题. In this paper,a generalized Budan-Fourier theorem is obtained and a so-called Successive Budan-Fourier Algorithm is proposed to solve the real root isolation of arctangent function polynomials by repeatedly applying the theorem.And then the real root isolation problem of mixed trigonometric function polynomials is solved by the algorithm.
作者 陈世平 陈果 CHEN Shi-ping;CHEN Guo(College of Business Administration,Sichuan Vocational College of Finance and Economics,Chengdu 610101,China;Information Engineering College,Southwest University of Science and Technology,Mianyang 621000,China)
出处 《数学的实践与认识》 2023年第10期245-259,共15页 Mathematics in Practice and Theory
关键词 广义Budan-Fourier定理 逐次Budan-Fourier算法 混合三角函数多项式 实根分离 generalized Budan-fourier theorem successive Budan-fourier algorithm mixed trigonometric function polynomial real roots isolation
  • 相关文献

参考文献8

二级参考文献57

  • 1杨路,侯晓荣,曾振柄.多项式的完全判别系统[J].中国科学(E辑),1996,26(5):424-441. 被引量:31
  • 2杨路,姚勇,冯勇.Tarski模型外的一类机器可判定问题[J].中国科学(A辑),2007,37(5):513-522. 被引量:3
  • 3ACZEL J, VARGA 0. Bemerkung zur Cayley-Kleinschen Massbestimmung[J]. Punl Math, 1955,4: 3-15. 被引量:1
  • 4NANJUNDIAH T S. Problem 10347 [ J]. The American Mathematical Monthly, 1993, 100(10) : 951-952. 被引量:1
  • 5BEESACK P R. On certain discrete inequalities involving partial sums [J]. Canadian Journal of Mathematics, 1969, 21 : 222-234. 被引量:1
  • 6TARSKI A. A decision method for elementary algebra and geometry[ M]. Berkeley, USA: The University of California Press. 1951. 被引量:1
  • 7吴文俊.初等几何判定问题与机械化证明.中国科学 数学,1977,. 被引量:1
  • 8杨路,张景中,侯晓荣.非线性代数方程组与机器证明:非线性科学丛书[M].上海:上海科学教育出版社,1996. 被引量:1
  • 9ARNON D S, COLLINS G E, MCCALLUM S. Cylindrical algebraic decomposition I : the basic algorithm [J]. SIAM Journal on Computing, 1984, 13(4) : 865-877. 被引量:1
  • 10ARNON D S, COLLINS G E, MCCALLUM S. Cylindrical algebraic decomposition II: an adjacency algorithm for the plane [ J ]. SIAM Journal on Computing, 1984, 13 (4) : 878-889. 被引量:1

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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