文献详情


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

外文标题	Practical and efficient method for computations over real closed fields
文献类型	期刊
作者	马世龙[1]
机构	[1]北京航空航天大学计算机学院 北京100083 ↓
来源信息	年:2003卷:29期:10页码范围:847-851
期刊信息	北京航空航天大学学报ISSN:1001-5965
关键词	符号计算;多项式方程;多项式不等式
摘要	在计算实践中,处理大型多项式时,由于复杂性原因,实闭域一阶理论判定方法实际上无效.因此寻找求解多项式方程与不等式组的有效方法(未必是判定方法)是符号计算中的重要问题.为解决这一问题,将Budan-Fourier 定理与Ritt-Wu 方法结合提出确定多项式方程实根和证明不等式的简单有效方法.尽管该方法不完备,但是在计算实践中发现这一方法对许多例子在计算上很有效.
收录情况	PKUISTICCSCD
所属部门	计算机学院
链接地址	http://d.g.wanfangdata.com.cn/Periodical_bjhkhtdxxb200310001.aspx
DOI	10.3969/j.issn.1001-5965.2003.10.001
人气指数	2
浏览次数	2
基金	国家重点基础研究发展计划(973计划)

全文|
影响因子：


暂无成果共有人
dc:title:实闭域计算的一个实用有效方法
dc:creator:马世龙
dc:date: publishDate:2003-11-30
dc:type:期刊
dc:format: Media：北京航空航天大学学报
dc:identifier: LnterrelatedLiterature：北京航空航天大学学报.2003,29(10),847-851.
dc:identifier:DOI：10.3969/j.issn.1001-5965.2003.10.001
dc: identifier:ISBN:1001-5965