@article{CHEN Changbo:55, author = {CHEN Changbo, MORENO MAZA Marc, PAN Wei, XIE Yuzhen}, title = {On the verification of polynomial system solvers}, publisher = {Front. Comput. Sci.}, year = {0}, journal = {Frontiers of Computer Science}, volume = {}, number = {}, eid = {55}, numpages = {11}, pages = {55}, keywords = {software verification, polynomial system solver, triangular decomposition}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_6464.shtml}, doi = {10.1007/s11704-008-0006-y} }