Changbo Chen Marc Moreno Maza Wei Pan Yuzhen Xie On the verification of polynomial system solvers. 55-66 2008 2 Frontiers of Computer Science in China 1 http://dx.doi.org/10.1007/s11704-008-0006-y db/journals/fcsc/fcsc2.html#ChenMPX08