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.