Results 61 to 70 of about 4,773,304 (208)

Convergence theorems of implicit type iterations in geodesic spaces with negative curvature

open access: yesElectronic Journal of Differential Equations
In this article, we prove convergence theorems of the implicit iterative  methods in the sense of Browder type and Xu-Ori type with (-1)-convex  combination in CAT(-1) spaces.
Yasunori Kimura   +2 more
doaj   +3 more sources

The Russian Regional Convergence Process: Where Does It Go? [PDF]

open access: yes
This paper investigates the income convergence among Russian regions in the period 1998-2006. It makes two major contributions to rather extensive literature on the regional convergence in Russia.
Konstantin A. Kholodilin   +2 more
core  

A Rocq-Based Formalization of Hilbert’s Geometry: Building a Reusable Foundation for 3D Perpendicularity Theory and Verification

open access: yesMathematical and Computational Applications
Hilbert’s axiom system for geometry is a landmark in formal methods. This paper presents a complete formalization of spatial perpendicularity—a theory not fully developed in Hilbert’s original work—using the Rocq proof assistant.
Qimeng Zhang, Wensheng Yu
doaj   +1 more source

Some remarks about Mackey convergence

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 1995
In this paper, we examine Mackey convergence with respect to K-convergence and bornological (Hausdorff locally convex) spaces. In particular, we prove that: Mackey convergence and local completeness imply property K; there are spaces having K- convergent
Józef Burzyk, Thomas E. Gilsdorf
doaj   +1 more source

Local Convergence for an Improved Jarratt-type Method in Banach Space

open access: yes, 2015
We present a local convergence analysis for an improved Jarratt-type methods of order at least five to approximate a solution of a nonlinear equation in a Banach space setting. The convergence ball and error estimates are given using hypotheses up to the
González Sánchez, Daniel   +2 more
core   +1 more source

A Machine Proof of the Filter-Method Construction for Real Numbers

open access: yesMathematics
This paper presents a machine verification of a real number theory where real numbers are constructed using concepts related to filters. The theory encompasses a special filter, namely the non-principal arithmetical ultrafilter whose existence can be ...
Guowei Dou, Wensheng Yu
doaj   +1 more source

Fuzzy Counterparts of Fischer Diagonal Condition in ⊤-Convergence Spaces

open access: yesMathematics, 2019
Fischer diagonal condition plays an important role in convergence space since it precisely ensures a convergence space to be a topological space. Generally, Fischer diagonal condition can be represented equivalently both by Kowalsky compression operator ...
Qiu Jin, Lingqiang Li, Jing Jiang
doaj   +1 more source

Maximal uniform convergence rates in parametric estimation problems [PDF]

open access: yes
This paper considers parametric estimation problems with i.i.d. data. It focusses on rate-effciency, in the sense of maximal possible convergence rates of stochastically bounded estimators, as an optimality criterion, largely unexplored in parametric ...
Daniel McFadden, Walter Beckert
core  

Local convergence for multi-point-parametric Chebyshev-Halley-type methods of high convergence order

open access: yes, 2015
We present a local convergence analysis for general multi-point-Chebyshev-Halley-type methods (MMCHTM) of high convergence order in order to approximate a solution of an equation in a Banach space setting.
George, Santhosh   +2 more
core   +1 more source

Sphere-Packing Modulated Space-Time Coding Using Non-Binary LDPC-Coded Iterative-Detection

open access: yes, 2008
A recently proposed Space-Time Block Coding (STBC) signal construction method that combines orthogonal design with sphere packing, referred to here as (STBC-SP), has shown useful performance improvements over Alamouti’s conventional orthogonal design. In
Alamri, Osamah   +4 more
core   +2 more sources

Home - About - Disclaimer - Privacy