Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie. On the verification of polynomial system solvers. Frontiers of Computer Science in China, 2(1):55-66, 2008. [doi]
@article{ChenMPX08,
title = {On the verification of polynomial system solvers},
author = {Changbo Chen and Marc Moreno Maza and Wei Pan and Yuzhen Xie},
year = {2008},
doi = {10.1007/s11704-008-0006-y},
url = {http://dx.doi.org/10.1007/s11704-008-0006-y},
researchr = {https://researchr.org/publication/ChenMPX08},
cites = {0},
citedby = {0},
journal = {Frontiers of Computer Science in China},
volume = {2},
number = {1},
pages = {55-66},
}