Results 341 to 350 of about 11,792,067 (380)
Some of the next articles are maybe not open access.
Fixed points vs. coupled fixed points
Journal of Fixed Point Theory and Applications, 2018In this paper, we will show some connections between fixed point and coupled fixed point problems in Banach and metric spaces.
openaire +2 more sources
Mathematical Logic Quarterly, 1988
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
Franco Montagna, Dick de Jongh
openaire +3 more sources
The paper establishes some general conditions under wich a formula A(p) has only provable fixed points in Guaspari-Solovay modal logic of provability R. This result is used to give another proof of Parikh's theorem: For each natural number \(k\geq 1\) there is an arithmetical sentence A, provable in PA, such that \(\square^ kA\) has a much shorter ...
Franco Montagna, Dick de Jongh
openaire +3 more sources
Fixed point theorems for generalized contractive mappings in metric spaces
Journal of Fixed Point Theory and Applications, 2020Petko D. Proinov
semanticscholar +1 more source
Functional Analysis and Its Applications, 1996
This note has discussed three fixed point theorems for mappings \(T:H\times H\to H\), where \(H\) is a suitable subset of a metric or normed linear space, satisfying certain conditions. Only indications of the proofs are given. The first two theorems are proved with the help of a theorem due to \textit{M. Edelstein} [J. Lond. Math. Soc. 37, 74-79 (1962;
Tran Quoc Binh, Nguyen Minh Chuong
openaire +3 more sources
This note has discussed three fixed point theorems for mappings \(T:H\times H\to H\), where \(H\) is a suitable subset of a metric or normed linear space, satisfying certain conditions. Only indications of the proofs are given. The first two theorems are proved with the help of a theorem due to \textit{M. Edelstein} [J. Lond. Math. Soc. 37, 74-79 (1962;
Tran Quoc Binh, Nguyen Minh Chuong
openaire +3 more sources
A survey: F-contractions with related fixed point results
Journal of Fixed Point Theory and Applications, 2020E. Karapınar, A. Fulga, R. Agarwal
semanticscholar +1 more source
Nonlinear Analysis: Theory, Methods & Applications, 1997
Summary: Let \(f:X\to\mathbb{R}\) be a functional defined on some space \(X\). We approach the extremal problem of finding the minimal values of \(f\) (or similarly, of solving the inequality \(f(x)\geq a\) for all \(x\in X\)) by searching for a mapping \(F:X\to X\) which is monotonic with respect to \(f\) (that is, for which \(f(F(x))\leq f(x)\) for ...
openaire +2 more sources
Summary: Let \(f:X\to\mathbb{R}\) be a functional defined on some space \(X\). We approach the extremal problem of finding the minimal values of \(f\) (or similarly, of solving the inequality \(f(x)\geq a\) for all \(x\in X\)) by searching for a mapping \(F:X\to X\) which is monotonic with respect to \(f\) (that is, for which \(f(F(x))\leq f(x)\) for ...
openaire +2 more sources
Canadian Mathematical Bulletin, 1967
Throughout this paper (X, d) will be a metric space with metric d, and h a homeomorphism of X onto itself. For any real number r > 0, and p ∊ X, U(p, r) will denote the open r - sphere about p. Any point p ∊ X is called regular [3] if for any given ∊ > 0 there exists a δ >
openaire +3 more sources
Throughout this paper (X, d) will be a metric space with metric d, and h a homeomorphism of X onto itself. For any real number r > 0, and p ∊ X, U(p, r) will denote the open r - sphere about p. Any point p ∊ X is called regular [3] if for any given ∊ > 0 there exists a δ >
openaire +3 more sources
2013
Many embedded systems applications need to perform floating-point calculations. As mentioned in the previous chapter, however, small-scale microcontrollers may not have hardware support for floating-point calculations with a floating-point unit (FPU).
openaire +2 more sources
Many embedded systems applications need to perform floating-point calculations. As mentioned in the previous chapter, however, small-scale microcontrollers may not have hardware support for floating-point calculations with a floating-point unit (FPU).
openaire +2 more sources
Fixed point theorems for orthogonal F-contraction mappings on O-complete metric spaces
Journal of Fixed Point Theory and Applications, 2019Kanokwan Sawangsup +2 more
semanticscholar +1 more source