BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Matúš Benko

Matúš Benko appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OC

Catalog footprint

What is connected

3works
1topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2021arXiv

Calmness and Calculus: Two Basic Patterns

We establish two types of estimates for generalized derivatives of set-valued mappings which carry the essence of two basic patterns observed troughout the pile of calculus rules. These estimates also illustrate the role of the essential assumptions that accompany these two patters, namely calmness on the one hand and (fuzzy) inner calmness* on the other. Afterwards, we study the relationship between and sufficient conditions for the various notions of (inner) calmness. The aforementioned estimates are applied in order to recover several prominent calculus rules for tangents and normals as well as generalized derivatives of marginal functions and compositions as well as Cartesian products of set-valued mappings under mild conditions. We believe that our enhanced approach puts the overall generalized calculus into some other light. Some applications of our findings are presented which exemplary address necessary optimality conditions for minimax optimization problems as well as the calculus related to the recently introduced semismoothness* property.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An SQP method for mathematical programs with vanishing constraints with strong convergence properties

We propose an SQP algorithm for mathematical programs with vanishing constraints which solves at each iteration a quadratic program with linear vanishing constraints. The algorithm is based on the newly developed concept of $\mathcal Q$-stationarity [5]. We demonstrate how $\mathcal Q_M$-stationary solutions of the quadratic program can be obtained. We show that all limit points of the sequence of iterates generated by the basic SQP method are at least M-stationary and by some extension of the method we also guarantee the stronger property of $\mathcal Q_M$-stationarity of the limit points.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

New verifiable stationarity concepts for a class of mathematical programs with disjunctive constraints

In this paper we consider a sufficiently broad class of nonlinear mathematical programs with disjunctive constraints, which, e.g., include mathematical programs with complemetarity/vanishing constraints. We present an extension of the concept of ${\mathcal Q}$-stationarity as introduced in the recent paper [2]. ${\mathcal Q}$-stationarity can be easily combined with the well-known notion of M-stationarity to obtain the stronger property of so-called ${\mathcal Q}_M$-stationarity. We show how the property of ${\mathcal Q}_M$-stationarity (and thus also of M-stationarity) can be efficiently verified for the considered problem class by computing ${\mathcal Q}$-stationary solutions of a certain quadratic program. We consider further the situation that the point which is to be tested for ${\mathcal Q}_M$-stationarity, is not known exactly, but is approximated by some convergent sequence, as it is usually the case when applying some numerical method.

0 citations0 reviewsNo code linkedOpen access