Quantifier elimination for normal cone computations

DOI10.1016/J.JSC.2025.102456MaRDI QIDQ6968348zbMATH OpenFDO

Authors Michael Mandlmayr, Ali Kemal Uncu

Publication date 24 June 2025

Published in Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

nonlinear programmingcylindrical algebraic decompositionquantifier eliminationnormal cone mappingco-derivatives

Mathematics Subject Classification ID

Nonlinear programming (90C30) Sensitivity, stability, parametric optimization (90C31) Methods of quasi-Newton type (90C53) Nonsmooth analysis (49J52) Set-valued and variational analysis (49J53) Newton-type methods (49M15) Optimization of other properties in solid mechanics (74P10) Quantifier elimination, model completeness, and related topics (03C10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Polynomial optimization (90C23)

This page was built for publication: Quantifier elimination for normal cone computations

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