Complete numerical isolation of real zeros in zero-dimensional triangular systems
Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap · 2007
We present a complete numerical algorithm of isolating all the real zeros of a zero-dimensional triangular polynomial system Fn Z[x1…,xn]. Our system Fn is general, with no further assumptions. In particular, our algorithm successfully treat multiple zeros directly in such systems. A key idea is to introduce evaluation bounds and sleeve bounds. We implemented our algorithm and promising experimental results are shown.