Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297948293> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4297948293 abstract "We consider the problem of certifying lower bounds for real-valued multivariate transcendental functions. The functions we are dealing with are nonlinear and involve semialgebraic operations as well as some transcendental functions like $cos$, $arctan$, $exp$, etc. Our general framework is to use different approximation methods to relax the original problem into polynomial optimization problems, which we solve by sparse sums of squares relaxations. In particular, we combine the ideas of the maxplus estimators (originally introduced in optimal control) and of the linear templates (originally introduced in static analysis by abstract interpretation). The nonlinear templates control the complexity of the semialgebraic relaxations at the price of coarsening the maxplus approximations. In that way, we arrive at a new - template based - certified global optimization method, which exploits both the precision of sums of squares relaxations and the scalability of abstraction methods. We analyze the performance of the method on problems from the global optimization literature, as well as medium-size inequalities issued from the Flyspeck project." @default.
- W4297948293 created "2022-10-01" @default.
- W4297948293 creator A5066095974 @default.
- W4297948293 creator A5069836964 @default.
- W4297948293 creator A5082671255 @default.
- W4297948293 creator A5089577044 @default.
- W4297948293 date "2014-03-24" @default.
- W4297948293 modified "2023-10-15" @default.
- W4297948293 title "Certification of Real Inequalities -- Templates and Sums of Squares" @default.
- W4297948293 doi "https://doi.org/10.48550/arxiv.1403.5899" @default.
- W4297948293 hasPublicationYear "2014" @default.
- W4297948293 type Work @default.
- W4297948293 citedByCount "0" @default.
- W4297948293 crossrefType "posted-content" @default.
- W4297948293 hasAuthorship W4297948293A5066095974 @default.
- W4297948293 hasAuthorship W4297948293A5069836964 @default.
- W4297948293 hasAuthorship W4297948293A5082671255 @default.
- W4297948293 hasAuthorship W4297948293A5089577044 @default.
- W4297948293 hasBestOaLocation W42979482931 @default.
- W4297948293 hasConcept C105795698 @default.
- W4297948293 hasConcept C111472728 @default.
- W4297948293 hasConcept C11413529 @default.
- W4297948293 hasConcept C115527620 @default.
- W4297948293 hasConcept C118615104 @default.
- W4297948293 hasConcept C121332964 @default.
- W4297948293 hasConcept C124304363 @default.
- W4297948293 hasConcept C126255220 @default.
- W4297948293 hasConcept C134306372 @default.
- W4297948293 hasConcept C138885662 @default.
- W4297948293 hasConcept C158622935 @default.
- W4297948293 hasConcept C164752517 @default.
- W4297948293 hasConcept C185429906 @default.
- W4297948293 hasConcept C199360897 @default.
- W4297948293 hasConcept C202444582 @default.
- W4297948293 hasConcept C32278780 @default.
- W4297948293 hasConcept C33923547 @default.
- W4297948293 hasConcept C41008148 @default.
- W4297948293 hasConcept C62520636 @default.
- W4297948293 hasConcept C82714645 @default.
- W4297948293 hasConcept C84392682 @default.
- W4297948293 hasConcept C90119067 @default.
- W4297948293 hasConcept C9936470 @default.
- W4297948293 hasConceptScore W4297948293C105795698 @default.
- W4297948293 hasConceptScore W4297948293C111472728 @default.
- W4297948293 hasConceptScore W4297948293C11413529 @default.
- W4297948293 hasConceptScore W4297948293C115527620 @default.
- W4297948293 hasConceptScore W4297948293C118615104 @default.
- W4297948293 hasConceptScore W4297948293C121332964 @default.
- W4297948293 hasConceptScore W4297948293C124304363 @default.
- W4297948293 hasConceptScore W4297948293C126255220 @default.
- W4297948293 hasConceptScore W4297948293C134306372 @default.
- W4297948293 hasConceptScore W4297948293C138885662 @default.
- W4297948293 hasConceptScore W4297948293C158622935 @default.
- W4297948293 hasConceptScore W4297948293C164752517 @default.
- W4297948293 hasConceptScore W4297948293C185429906 @default.
- W4297948293 hasConceptScore W4297948293C199360897 @default.
- W4297948293 hasConceptScore W4297948293C202444582 @default.
- W4297948293 hasConceptScore W4297948293C32278780 @default.
- W4297948293 hasConceptScore W4297948293C33923547 @default.
- W4297948293 hasConceptScore W4297948293C41008148 @default.
- W4297948293 hasConceptScore W4297948293C62520636 @default.
- W4297948293 hasConceptScore W4297948293C82714645 @default.
- W4297948293 hasConceptScore W4297948293C84392682 @default.
- W4297948293 hasConceptScore W4297948293C90119067 @default.
- W4297948293 hasConceptScore W4297948293C9936470 @default.
- W4297948293 hasLocation W42979482931 @default.
- W4297948293 hasLocation W42979482932 @default.
- W4297948293 hasOpenAccess W4297948293 @default.
- W4297948293 hasPrimaryLocation W42979482931 @default.
- W4297948293 hasRelatedWork W152729695 @default.
- W4297948293 hasRelatedWork W1806247165 @default.
- W4297948293 hasRelatedWork W1921497609 @default.
- W4297948293 hasRelatedWork W1991968328 @default.
- W4297948293 hasRelatedWork W2024964462 @default.
- W4297948293 hasRelatedWork W2037420682 @default.
- W4297948293 hasRelatedWork W2074869363 @default.
- W4297948293 hasRelatedWork W2078829278 @default.
- W4297948293 hasRelatedWork W2087212699 @default.
- W4297948293 hasRelatedWork W2355646586 @default.
- W4297948293 isParatext "false" @default.
- W4297948293 isRetracted "false" @default.
- W4297948293 workType "article" @default.