论文部分内容阅读
对于给定的一个n元多项式系统P和Rn中一个闭超长方体S,给出了一个有效算法,使得在ZeroR（P）∩S的每一个半代数连通分支上能找到至少一个实零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。同时给出了另一算法,可用来检验所得的实零点是否属于闭超长方体S。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。