Quantitative results on a Halpern-type proximal point algorithm von Leuştean, Laurenţiu, Pinto, Pedro

Volltext

Rates of asymptotic regularity for the alternating Halpern–Mann iteration von Leuştean, Laurenţiu, Pinto, Pedro

Volltext

Firmly nonexpansive mappings in classes of geodesic spaces von David Ariza-Ruiz, Laurenţiu Leuştean, Genaro López-Acedo

Volltext

On Modified Halpern and Tikhonov–Mann Iterations von Cheval, Horaţiu, Kohlenbach, Ulrich, Leuştean, Laurenţiu

Volltext

An abstract proximal point algorithm von Leuştean, Laurenţiu, Nicolae, Adriana, Sipoş, Andrei

Volltext

An application of proof mining to nonlinear iterations von Leuştean, Laurenţiu

Volltext

Effective results on compositions of nonexpansive mappings von Leuştean, Laurenţiu, Nicolae, Adriana

Volltext

Effective results on nonlinear ergodic averages in CAT $(\unicode[STIX]{x1D705})$ spaces von LEUŞTEAN, LAURENŢIU, NICOLAE, ADRIANA

Volltext

A note on an ergodic theorem in weakly uniformly convex geodesic spaces von Leuştean, Laurenţiu, Nicolae, Adriana

Volltext

Quantitative asymptotic regularity of the VAM iteration with error terms for $m$-accretive operators in Banach spaces von Firmino, Paulo, Leuştean, Laurenţiu

Volltext

Proceedings Eighth Symposium on Working Formal Methods: Preface von Marin, Mircea, Leuştean, Laurenţiu

Volltext

On the removal of weak compactness arguments in proof mining von Ferreira, Fernando, Leuştean, Laurenţiu, Pinto, Pedro

Volltext

Proceedings 7th Symposium on Working Formal Methods: Preface von Cheval, Horaţiu, Leuştean, Laurenţiu, Sipoş, Andrei

Volltext

Maximal residuated lattices with lifting boolean center von Georgescu, George, Leuştean, Laurenţiu, Mureşan, Claudia

Volltext

Linear rates of asymptotic regularity for Halpern-type iterations von Cheval, Horaţiu, Leuştean, Laurenţiu

Volltext

Effective strong convergence of the proximal point algorithm in CAT(0) spaces

Volltext

Proceedings Eighth Symposium on Working Formal Methods von Marin, Mircea, Leuştean, Laurenţiu

Volltext

Compact representations of BL-algebras von Di Nola, Antonio, Leustean, Laurentiu

Volltext

Proof Mining in R-trees and Hyperbolic Spaces von Leuştean, Laurenţiu

Volltext

Linear rates of asymptotic regularity for Halpern-type iterations von Cheval, Horaţiu, Leuştean, Laurenţiu

Volltext bestellen