In this paper we find a characterization type result for (η1,η2)-convex functions. The Fejér integral inequality related to (η1,η2)-convex functions is obtained as a generalization of Fejér inequality related to the preinvex and η-convex functions. Also some Fejér trapezoid and midpoint type inequalities are given in the case that the absolute value of the derivative of considered function is (...

The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between  $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is  bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.

we first obtain some properties of a fundamentally nonexpansive self-mapping on a nonempty subset of a banach space and next show that if the banach space is having the opial condition, then the fixed points set of such a mapping with the convex range is nonempty. in particular, we establish that if the banach space is uniformly convex, and the range of such a mapping is bounded, closed and con...

Abstract We present the convergence analysis of convex combination alternating projection and Douglas–Rachford operators for solving phase retrieval problem. New criteria iterations generated by algorithm are established applying various schemes numerical exploring both physical mathematical characteristics Numerical results demonstrate advantages over other widely known methods in practically ...

The main purpose of this paper is to introduce the compatibility of $M$-fuzzifying topologies and $M$-fuzzifying convexities, define an $M$-fuzzifying topological convex space, and give a method to generate an $M$-fuzzifying topological convex space. Some characterizations of $M$-fuzzifying topological convex spaces are presented. Finally, the notion of $M$-fuzzifying weak topologies is obtaine...

in this paper, we define the notions of fuzzy congruence relations and fuzzy convex subalgebras on a commutative residuated lattice and we obtain some related results. in particular, we will show that there exists a one to one correspondence between the set of all fuzzy congruence relations and the set of all fuzzy convex subalgebras on a commutative residuated lattice. then we study fuzzy...

Hermite-Hadamard inequality is one of the fundamental applications of convex functions in Theory of Inequality. In this paper, Hermite-Hadamard inequalities for $mathbb{B}$-convex and $mathbb{B}^{-1}$-convex functions are proven.

A barycentric mapping of a planar graph is a plane embedding in which every internal vertex is the average of its neighbours. A celebrated result of Tutte’s [16] is that if a planar graph is nodally 3-connected then such a mapping is an embedding. Floater generalised this result to convex combination mappings in which every internal vertex is a proper weighted average of its neighbours. He also...

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a rule-based framework to design cooperation schemas between ...