留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

实闭域计算的一个实用有效方法

马世龙

马世龙. 实闭域计算的一个实用有效方法[J]. 北京航空航天大学学报, 2003, 29(10): 847-851.
引用本文: 马世龙. 实闭域计算的一个实用有效方法[J]. 北京航空航天大学学报, 2003, 29(10): 847-851.
Ma Shilong. Practical and efficient method for computations over real closed fields[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(10): 847-851. (in Chinese)
Citation: Ma Shilong. Practical and efficient method for computations over real closed fields[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(10): 847-851. (in Chinese)

实闭域计算的一个实用有效方法

基金项目: 国家重点基础研究发展规划资助项目(G1999032701)
详细信息
    作者简介:

    马世龙(1953-),男,北京人,教授, slma@nlsde.buaa.edu.cn.

  • 中图分类号: TP 3016

Practical and efficient method for computations over real closed fields

  • 摘要: 在计算实践中,处理大型多项式时,由于复杂性原因,实闭域一阶理论判定方法实际上无效.因此寻找求解多项式方程与不等式组的有效方法(未必是判定方法)是符号计算中的重要问题.为解决这一问题,将Budan-Fourier 定理与Ritt-Wu 方法结合提出确定多项式方程实根和证明不等式的简单有效方法.尽管该方法不完备,但是在计算实践中发现这一方法对许多例子在计算上很有效.

     

  • [1] Rabin M O. Decidable theories. In:Barwise J ed. Handbook of Mathematical Logic. Amsterdam:Horth-Holland Publishing Company,1977. 595~630 [2] Wu Wen-tsüun. On zeros of algebraic equations——an application of Ritt's principle [J]. Kexue Tongbao, 1986,31(1):1~5 [3] Buchberger B. Gr bner bases:an algorithmic method in polynomial ideal theory. In:Bose N K ed. Recent Trends in Multidimensional Systems Theory. Boston:D Reidel Publ Comp, 1985 [4] Ning S, Ma S, Kewt K H, et al. A cubic system with eight small amplitude limit cycles [J]. Applied Mathematics Letters, 1994,7(4):23~27 [5] Ma S, Ning S. Deriving some new conditions on the existence of eight limit cycles for a cubic system [J]. Computers & Mathematics with Applications, 1997,33(7):59~84 [6] Ma S, Ning S. Practically solving some problems expressed in the first order theory of the real closed field [J]. International Journal of Computer Mathematics, 1998,69(3-4):265~282 [7] Lu Z, Ma S. Centers, foci and limit cycles for polynomial differential systems. In:Wang D, Gao X ed. Mathematics Mechanization and Applications. London:Academic Press,2000, 365~387 [8] Demidovich B P, Maron I A. Computational mathematics [M]. Translated from the Russion by George Yankovsky, Moscow:Mir Publishers, 1981
  • 加载中
计量
  • 文章访问数:  2922
  • HTML全文浏览量:  145
  • PDF下载量:  7
  • 被引次数: 0
出版历程
  • 收稿日期:  2003-06-05
  • 网络出版日期:  2003-10-31

目录

    /

    返回文章
    返回
    常见问答