Abstract In this paper, we investigate the conditions on control mappings $\psi ,\varphi :(0,\infty )\rightarrow \mathbb{R}$ ? , ? : ( 0 ? ) ? R that guarant...

In this paper, tripled coincidence points of mappings satisfying  $psi$-contractive conditions in the framework of partially ordered $G_b$-metric spaces are obtained. Our results extend the results of Aydi et al. [H. Aydi, E. Karapinar and W. Shatanawi, Tripled fixed point results in generalized metric space, J. Applied Math., Volume 2012, Article ID 314279, 10 pages]. Moreover, some examples o...

In this paper, we introduce three classes of proximal contractions that are called the proximally λ−ψ−dominated contractions, generalized ηβγ−proximal and Berinde-type weak obtain common best proximity points for these in setting F−metric spaces. Further, point result α−φ−proximal As an application, fixed coincidence results obtained. Some examples provided to support validity our main results....

Novel cyclic contractions of the Kannan and Chatterjea type are presented in this study. With aid these brand-new contractions, new results for existence uniqueness fixed points setting complete generalized metric space have been established. Importantly, generalizations extensions point theorems by their cyclical expansions that found literature. Additionally, several existing on will be work....

A system of polynomial ordinary differential equations (ode's) is specified via a vector of multivariate polynomials, or vector field, F. A safety assertion psi->[F]phi means that the system's trajectory will lie in a subset phi (the postcondition) of the state-space, whenever the initial state belongs to a subset psi (the precondition). We consider the case when phi and psi are algebraic varie...