Keywords: Baskakov-Szász operators Modulus of continuity Asymptotic formula Simultaneous approximation Statistical convergence Bounded variation a b s t r a c t In the present paper, we introduce generalized Baskakov-Szász type operators and study some approximation properties of these operators e.g., rate of convergence in ordinary and simultaneous approximation, statistical convergence and th...

While type theories such as Nuprl are expressive logics for theorem proving, they present diiculties for designers of term rewriting systems. The two most serious diiculties are: 1) They do not provide a global equality. Instead users rewrite over arbitrary user-deened relations. 2) Each rewrite step must be proved valid. In general, these proofs cannot be recursively generated. We have overcom...

We prove that a torsion group G with all subgroups subnormal is a nilpotent group or G = N(A1×· · ·×An) is a product of a normal nilpotent subgroup N and pi -subgroups Ai , where Ai = A (i) 1 · · ·A (i) mi G , A (i) j is a Heineken–Mohamed type group, and p1, . . . , pn are pairwise distinct primes (n ≥ 1; i = 1, . . . , n; j = 1, . . . ,mi and mi are positive integers).

in this paper we consider selberg-type square matrices integrals with focus on kummer-beta types i & ii integrals. for generality of the results for real normed division algebras, the generalized matrix variate kummer-beta types i & ii are defined under the abstract algebra. then selberg-type integrals are calculated under orthogonal transformations.

Abstract Elimination of unknowns in systems equations, starting with Gaussian elimination, is a problem general interest. The finding an priori upper bound for the number differentiations elimination system differential-algebraic equations (DAEs) important challenge, going back to Ritt (1932). first characterization this via asymptotic analysis due Grigoriev’s result (1989) on quantifier differ...

In this attempt we proved results on points of coincidence and common xed points for three selfmappings satisfying generalized contractive type conditions in cone metric spaces. Our results gen-eralizes some previous known results in the literature (eg. [5], [6])

Ritt studied the functional decomposition of a univariate complex polynomial f into prime (indecomposable) polynomials, f = u1 ◦ u2 ◦ · · · ◦ ur. His main achievement was a procedure for obtaining any decomposition of f from any other by repeatedly applying certain transformations. However, Ritt’s results provide no control on the number of times one must apply the basic transformations, which ...

In this paper, we unify, extend and generalize some results on coupled fixed point theorems of generalized φ- mappings with some applications to fixed points of integral type mappings in cone metric spaces.