Bican Xia, Lu Yang. An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. Journal of Symbolic Computation, 34(5):461-477, 2002. [doi]
@article{XiaY02,
title = {An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems},
author = {Bican Xia and Lu Yang},
year = {2002},
doi = {10.1006/jsco.2002.0572},
url = {http://dx.doi.org/10.1006/jsco.2002.0572},
tags = { algebra},
researchr = {https://researchr.org/publication/XiaY02},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {34},
number = {5},
pages = {461-477},
}