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

DOI10.1145/2331684.2331712MaRDI QIDQ2819637zbMATH OpenOpenAlexWikidataFDO

Authors Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai

Publication date 29 September 2016

Published in Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2331684.2331712

zbMATH Keywords

global optimizationcylindrical algebraic decompositionquantifier eliminationsymbolic-numeric computationcertified numerical computation

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Symbolic computation and algebraic computation (68W30) Nonconvex programming, global optimization (90C26)

Recommendations

• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Partial cylindrical algebraic decomposition for quantifier elimination
• Quantifier elimination by cylindrical algebraic decomposition based on regular chains
• QEPCAD B

Cited in

(5)

• An application of Reid-Zhi's symbolic-numeric elimination method
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• A search-based procedure for nonlinear real arithmetic
• Construction of explicit optimal value functions by a symbolic-numeric cylindrical algebraic decomposition

This page was built for publication: An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819637)