Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie. Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Comm. Computer Algebra, 45(3/4):166-168, 2011. [doi]
Abstract is missing.