Real solution isolation using interval arithmetic

被引:27
作者
Xia, Bican [1 ]
Zhang, Ting
机构
[1] Peking Univ, LMAM, Beijing 100871, Peoples R China
[2] Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China
关键词
real solution isolation; interval arithmetic; polynomial systems; semialgebraic systems; maple;
D O I
10.1016/j.camwa.2006.06.003
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We propose a complete algorithm for real solution isolation for semialgebraic systems by using interval arithmetic. The algorithm is implemented as a Maple program Nrealzero and its performance on several examples is reported. (c) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码:853 / 860
页数:8
相关论文
共 15 条