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

DOI10.1145/2331684.2331712zbMath1346.68289OpenAlexW2069952414MaRDI QIDQ2819637

Hitoshi Yanami, Hidenao Iwane, 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 optimizationquantifier eliminationcylindrical algebraic decompositionsymbolic-numeric computationcertified numerical computation

Mathematics Subject Classification ID

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

Related Items (2)

An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination ⋮ A search-based procedure for nonlinear real arithmetic

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