Let Y be a convex set in IR k deened by polynomial inequalities and equations of degree at most d 2 with integer coeecients of binary length l. We show that if Y \ ZZ k 6 = ;, then Y contains an integral point of binary length ld O(k 4). For xed k, our bound implies a polynomial-time algorithm for computing an integral point y 2 Y. In particular, we extend Lenstra's theorem on the polynomial-ti...

We prove a generalization of Brouwer's famous xed point theorem to discontinuous maps. The main result shows that for discontinuous functions on a compact convex domain X one can always nd a point x 2 X such that kx ? f(x)k is less than a certain measure of discontinuity. Applications to artiicial neural nets, economic equilibria, and analysis are given.

in this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

In this paper, we discuss the existence and uniqueness of xed points for Banach and Kannancontractions dened on modular spaces endowed with a graph. We do not impose the Δ2-conditionor the Fatou property on the modular spaces to give generalizations of some recent results. Thegiven results play as a modular version of metric xed point results.

The aim of this paper is to introduce a new iterative scheme for finding common solutions of the variational inequalities for an inverse strongly accretive mapping and the solutions of fixed point problems for nonexpansive semigroups by using the modified viscosity approximation method associate with Meir-Keeler type mappings and obtain some strong convergence theorem in a Banach spaces under s...

The xed point result in Mustafa-Sims metrical structures obtained by Karapinar and Agarwal[Fixed Point Th. Appl., 2013, 2013:154] is deductible from a corresponding one stated in terms ofanticipative contractions over the associated (standard) metric space.

In this paper, we prove the existence of fixed point for J-type multi-valuedmap T in CAT(0) spaces and also we prove the strong convergence theoremsfor Ishikawa iteration scheme without using the xed point of involving map.

Meir and Keeler in 1 considered an extension of the classical Banach contraction theorem on a complete metric space. Kirk et al. in 2 extended the Banach contraction theorem for a class of mappings satisfying cyclical contractive conditions. Eldred and Veeramani in 3 introduced the following definition. Let A and B be nonempty subsets of a metric space X. A map T : A ∪ B → A ∪ B, is a cyclic co...

A predicative semantics is a mapping of programs to predicates These pred icates characterize sets of acceptable observations The presence of time in the observations makes the obvious weakest xed point semantics of itera tive constructs unacceptable This paper proposes an alternative We will see that this alternative semantics is monotone and implementable feasible Fi nally a programming theor...