In this paper, we introduce a new iteration process for approximation of common fixed point of countably infinite family of nonself asymptotically nonexpansive mappings in uniformly convex Banach spaces, and prove weak and strong convergence of our iteration process to a common fixed point of these operators. Our theorems extend, generalize and unify many recently announced results. Our iterati...

We prove the following completeness theorem: If the fixed point operation over a category is defined by initial@, then the equations satisfied by the fixed point operation are exactly those of iteration theories. Thus, in such categories, the equational axioms of iteration theories provide a sound and complete axiomatization of the equational properties of the fixed point operation.

In this paper, we deal to obtain some new complexity results for solving semidefinite optimization (SDO) problem by interior-point methods (IPMs). We define a new proximity function for the SDO by a new kernel function. Furthermore we formulate an algorithm for a primal dual interior-point method (IPM) for the SDO by using the proximity function and give its complexity analysis, and then we sho...

We generalize the accelerated Hermitian and skew-Hermitian splitting (AHSS) iteration methods for large sparse saddle-point problems. These methods involve four iteration parameters whose special choices can recover the preconditioned HSS and accelerated HSS iteration methods. Also a new efficient case is introduced and we theoretically prove that this new method converges to the unique solutio...

We prove in this paper that policy iteration can be generally defined in finite domain of templates using Lagrange duality. Such policy iteration algorithm converges to a fixed point when for very simple technique condition holds. This fixed point furnishes a safe over-approximation of the set of reachable values taken by the variables of a program. We prove also that policy iteration can be ea...

The Mann iterative scheme was invented in 1953, see [7], and was used to obtain convergence to a fixed point for many functions for which the Banach principle fails. For example, the first author in [8] showed that, for any continuous selfmap of a closed and bounded interval, the Mann iteration converges to a fixed point of the function. In 1974, Ishikawa [5] devised a new iteration scheme to e...

We present an axiomatization of Conway theories which yields, as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms. It has been shown that most fixed point operations in computer science share the same equational properties. These equational properties are captured by the notion of iteration theories [1, 3]. Several axiomat...