We say a functional equation () is stable if any function g satisfying the equation () approximatelyis near to true solution of (). Using xed point methods, we investigate approximately higherternary derivations in Banach ternary algebras via the Cauchy functional equationf(1x + 2y + 3z) = 1f(x) + 2f(y) + 3f(z) :

In this paper, we prove that an implicit iterative process with er-rors converges strongly to a common xed point for a nite family of generalizedasymptotically quasi-nonexpansive mappings on unbounded sets in a uniformlyconvex Banach space. Our results unify, improve and generalize the correspond-ing results of Ud-din and Khan [4], Sun [21], Wittman [23], Xu and Ori [26] andmany others.

A xed-point C compiler is developed for convenient and efcient programming of TMS320C50 xed-point digital signal processor. This compiler supports the `fix' data type that can have an individual integer word-length according to the range of a variable. It can add or subtract two data having di erent integer word-lengths by automatically inserting shift operations. The accuracy of xed-point mult...

In this paper we present a new xed point theorem applicable for a countable system of recursive equations over a wellfounded domain. Wellfoundedness is an essential feature of many computer science applications as it guarantees termination of the corresponding xed point computation algorithms. Besides being a natural restriction, it marks a new area of application, where not even monotonicity i...

In this paper we present a new xed point theorem applicable for a countable system of recursive equations over a wellfounded domain. Wellfoundedness is an essential feature of many computer science applications as it guarantees termination of the corresponding xed point computation algorithms. Besides being a natural restriction, it marks a new area of application, where not even monotonicity i...

The paper addresses the question of when the least-xed-point operator, in a cartesian closed category of domains, is characterised as the unique dinatural transformation from the exponentiation bifunctor to the identity functor. We give a suucient condition on a cartesian closed full subcategory of the category of algebraic cpos for the characterisation to hold. The condition is quite mild, and...

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

In this paper, we prove the existence of the solution for boundary value prob-lem(BVP) of fractional dierential equations of order q 2 (2; 3]. The Kras-noselskii's xed point theorem is applied to establish the results. In addition,we give an detailed example to demonstrate the main result.

Innnite behavior of nondeterministic nite state automata running over innnite trees or more generally over elements of an arbitrary algebraic structure is characterized by a calculus of xed point terms interpreted in powerset algebras. These terms involve the least and greatest xed point operators and disjunction as the only logical operation. A tight correspondence is established between a hie...