An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions

Changbo Chen, Marc Moreno Maza. An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. 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 199-221, Springer, 2012. [doi]

Authors

Changbo Chen

This author has not been identified. Look up 'Changbo Chen' in Google

Marc Moreno Maza

This author has not been identified. Look up 'Marc Moreno Maza' in Google