The following publications are possibly variants of this publication:
- Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic DecompositionHidenao Iwane, Akifumi Kira, Hirokazu Anai. casc 2011: 239-250 [doi]
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problemsHidenao Iwane, Hitoshi Yanami, Hirokazu Anai. snc 2011: 168-177 [doi]
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier eliminationHidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama. TCS, 479:43-69, 2013. [doi]
- An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier eliminationHidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama. snc 2009: 55-64 [doi]