Mathematical logic provides a rigorous framework to analyse proofs and extract computational content, while nonexpansive mappings, which are mappings that do not increase distances between points ...

Nonexpansive mapping: A function that does not increase the distance between any two points in its domain, ensuring stability in iterative schemes. Δ-convergence: ...

Kohlberg, Elon, and Abraham Neyman. "Asymptotic Behavior of Nonexpansive Mappings in Normed Linear Spaces." Art. 38. Israel Journal of Mathematics 38, no. 4 (December 1981): 269–275 ...

Kohlberg, Elon, and Abraham Neyman. "A Strong Law of Large Numbers for Nonexpansive Vector-Valued Stochastic Processes." Israel Journal of Mathematics 111 (December 1999 ...

Carpathian Journal of Mathematics, Vol. 37, No. 3 (2021), pp. 381-392 (12 pages) In this paper, we introduce and study an inertial algorithm for approximating solutions of split equality fixed point ...