Real Root Isolation of Regular Chains

François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza. Real Root Isolation of Regular Chains. In Ruyong Feng, Wen-shin Lee, Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks. pages 33-48, Springer, 2009. [doi]