Bican Xia. DISCOVERER: a tool for solving semi-algebraic systems. ACM Comm. Computer Algebra, 41(3):102-103, 2007. [doi]
@article{Xia07-2, title = {DISCOVERER: a tool for solving semi-algebraic systems}, author = {Bican Xia}, year = {2007}, doi = {10.1145/1358190.1358197}, url = {http://doi.acm.org/10.1145/1358190.1358197}, researchr = {https://researchr.org/publication/Xia07-2}, cites = {0}, citedby = {0}, journal = {ACM Comm. Computer Algebra}, volume = {41}, number = {3}, pages = {102-103}, }