*Correspondence: [email protected] Chung-Jen Junior College of Nursing, Health Sciences and Management, Dalin, 62241, Taiwan Abstract In this paper, we establish sufficient optimality conditions for the (weak) efficiency to multiobjective fractional programming problems involving generalized (F,α,ρ ,d)-V-type I functions. Using the optimality conditions, we also investigate a parametric-type dua...

A disk Wang-Bézier type generalized Ball curve is a Wang-Bézier type generalized Ball curve whose control points are disks in a plane. It can be viewed as a parametric curve with error tolerances. In this paper, we discuss the problem of degree reduction of disk Wang-Bézier type generalized Ball curve, that is, bounding disk Wang-Bézier type generalized Ball curves with lower degree disk Wa...

in this paper, using clarke’s generalized directional derivative and di-invexity we introduce new concepts of nonsmooth k-α-di-invex and generalized type i univex functions over cones for a nonsmooth vector optimization problem with cone constraints. we obtain some sufficient optimality conditions and mond-weir type duality results under the foresaid generalized invexity and type i cone-univexi...

A nonlinear multiobjective programming problem is considered. Weak, strong and strict converse duality theorems are established under generalized second order (F, α, ρ, d)-convexity for second order Mangasarian type and general Mond-Weir type vector duals.

a disk wang-bézier type generalized ball curve is a wang-bézier type generalized ball curve whose control points are disks in a plane. it can be viewed as a parametric curve with error tolerances. in this paper, we discuss the problem of degree reduction of disk wang-bézier type generalized ball curve, that is, bounding disk wang-bézier type generalized ball curves with lower degree disk wang-b...

Recently, Zhang and Song [Q. Zhang, Y. Song, Fixed point theory forgeneralized $varphi$-weak contractions,Appl. Math. Lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. In this paper, we prove a common fixed point theorem fora family of compatible maps. In fact, a new generalization of Zhangand Song's theorem is given.

When moving to a Type Theory without proof-irrelevance the notion of a setoid has to be generalized to the notion of a weak ω-groupoid. As a first step in this direction we study the formalisation of weak ω-groupoids in Type Theory. This is motivated by Voevodsky’s proposal of univalent type theory which is incompatible with proof-irrelevance and the results by Lumsdaine and Garner/van de Berg ...