An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai. An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. In Marc Moreno Maza, editor, SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011. pages 168-177, ACM, 2011. [doi]

Authors

Hidenao Iwane

This author has not been identified. Look up 'Hidenao Iwane' in Google

Hitoshi Yanami

This author has not been identified. Look up 'Hitoshi Yanami' in Google

Hirokazu Anai

This author has not been identified. Look up 'Hirokazu Anai' in Google