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]
@inproceedings{IwaneYA11-0,
title = {An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems},
author = {Hidenao Iwane and Hitoshi Yanami and Hirokazu Anai},
year = {2011},
doi = {10.1145/2331684.2331712},
url = {http://doi.acm.org/10.1145/2331684.2331712},
researchr = {https://researchr.org/publication/IwaneYA11-0},
cites = {0},
citedby = {0},
pages = {168-177},
booktitle = {SNC 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric Computation, San Jose, California, USA, June 7-9, 2011},
editor = {Marc Moreno Maza},
publisher = {ACM},
isbn = {978-1-4503-0515-0},
}