Computing the real solutions of polynomial systems with the RegularChains library in Maple

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

Abstract is missing.