[an error occurred while processing this directive]
���¿��ټ��� �߼�����
   ��ҳ  �ڿ�����  ��ί��  Ͷ��ָ��  �ڿ�����  ��������  �� �� ��  ��ϵ����
�������պ����ѧѧ�� 2003, Vol. 29 Issue (10) :847-851    DOI:
���� ����Ŀ¼ | ����Ŀ¼ | ������� | �߼����� << | >>
�������պ����ѧ �����ѧԺ, ���� 100083
Practical and efficient method for computations over real closed fields
Ma Shilong*
School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China

Download: PDF (0KB)   HTML 1KB   Export: BibTeX or EndNote (RIS)      Supporting Info
ժҪ �ڼ���ʵ����,������Ͷ���ʽʱ,���ڸ�����ԭ��,ʵ����һ�������ж�����ʵ������Ч.���Ѱ��������ʽ�����벻��ʽ�����Ч����(δ�����ж�����)�Ƿ��ż����е���Ҫ����.Ϊ�����һ����,��Budan-Fourier ������Ritt-Wu ����������ȷ������ʽ����ʵ����֤������ʽ�ļ���Ч����.���ܸ÷������걸,�����ڼ���ʵ���з�����һ��������������ڼ����Ϻ���Ч.
Email Alert
�ؼ����� ���ż���   ����ʽ����   ����ʽ����ʽ     
Abstract�� The conventional methods do not work in practice when dealing with large polynomials because of their high complexity. Thus, finding practical and efficient methods (not necessary to be decision method) to solve systems of large polynomial equations and inequalities is very important in symbolic computation. Ritt-Wu's method was combined with Budan-Fourier's theorem to do such task. Though incomplete for the problems in general, the proposed method was found to be computationally more efficient in practice on many examples.
Keywords�� symbolic computation   polynomial equation   polynomial inequality     
Received 2003-06-05;


About author: ������(1953-),��,������,����, slma@nlsde.buaa.edu.cn.
������.ʵ��������һ��ʵ����Ч����[J]  �������պ����ѧѧ��, 2003,V29(10): 847-851
Ma Shilong.Practical and efficient method for computations over real closed fields[J]  JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND A, 2003,V29(10): 847-851
http://bhxb.buaa.edu.cn//CN/     ��     http://bhxb.buaa.edu.cn//CN/Y2003/V29/I10/847
Copyright 2010 by �������պ����ѧѧ��