53 citations · 77 across the 27 of their papers we have counts for
6 papers · 1 filter
On the removal of weak compactness arguments in proof mining
Fernando Ferreira, Laurentiu Leustean, Pedro Pinto
The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong t…
Quantitative results on Fejer monotone sequences
Ulrick Kohlenbach, Laurentiu Leustean, Adriana Nicolae
We provide in a unified way quantitative forms of strong convergence results for numerous iterative procedures which satisfy a general type of Fejer monotonicity where the converge…
An application of proof mining to nonlinear iterations
Laurentiu Leustean
In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to nonexpansive self-mapping…
Proof mining in metric fixed point theory and ergodic theory
Laurentiu Leustean
In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Ter…
Maximal residuated lattices with lifting Boolean center
George Georgescu, Laurenţiu Leuştean, Claudia Mureşan
In this paper we define, inspired by ring theory, the class of maximal residuated lattices with lifting Boolean center and prove a structure theorem for them: any maximal residuate…
Proof mining in -trees and hyperbolic spaces
Laurentiu Leustean
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting…