Grant CNCSUEFISCDI
Proof mining in
metric analysis, geometric group theory and ergodic theory
Project Code: PNIIIDPCE201130383
Contract no. 24/2011 financed by the Romanian National Authority
for Scientific Research, CNCS  UEFISCDI
Period: October 2011  October 2016
Host: "Simion Stoilow" Institute of Mathematics of the Romanian Academy
Team
Former members of the grant
Publications produced as a result of this research
Published
 Laurențiu Leuștean, Adriana Nicolae,
A note on an alternative iterative method for nonexpansive mappings,
Journal of Convex Analysis 24 (2017), No.2.
 Andrei Sipoș, A note on the Mann iteration
for kstrict pseudocontractions in Banach spaces,
Numerical Functional
Analysis and Optimization 38 (2017), No. 1, 8090.
 Andrei Sipoș,
Effective results on a fixed point algorithm for families of nonlinear mappings,
Annals of Pure
and Applied Logic 168 (2017), 112128.
 Laurențiu Leuștean, Vlad Radu, Andrei Sipoș,
Quantitative results on the Ishikawa iteration of Lipschitz pseudocontractions,
Journal of Nonlinear and Convex Analysis 17 (2016), No. 11, 22772292.
 Laurențiu Leuștean, Adriana Nicolae,
Effective results on nonlinear ergodic averages in CAT(k) spaces,
Ergodic Theory and Dynamical Systems 36 (2016), 25802601.
 Laurențiu Leuștean, Adriana Nicolae,
A note on an ergodic theorem in weakly uniformly convex geodesic spaces,
Archiv der Mathematik 105 (2015), 467477.
 Daniel Ivan, Laurențiu Leuștean,
A rate of asymptotic regularity for the Mann iteration of kstrict pseudocontractions,
Numerical Functional Analysis and Optimization 36 (2015), 792798.
 Laurențiu Leuștean (joint with Ulrich Kohlenbach and Adriana Nicolae), Prooftheoretic
methods in nonlinear analysis III: Quantitative results on Fejer monotone sequences,
Mathematisches Forschungsinstitut Oberwolfach,
Report No. 52/2014, 29602961.
 David ArizaRuiz, Laurențiu Leuștean, Genaro LopezAcedo,
Firmly nonexpansive mappings in classes of geodesic spaces,
Transactions of the American Mathematical Society 366 (2014), 42994322.
 Ulrich Kohlenbach,
Addendum to "Effective metastability of Halpern iterates in CAT(0) spaces" [Adv.Math. 231 (5) (2012) 25262556],
Advances in Mathematics 250 (2014),
650651.
 Laurențiu Leuștean, Adriana Nicolae, Effective results on compositions of nonexpansive mappings,
Journal of Mathematical Analysis and Applications 410 (2014), 902907.
 Aurora Fernandez Leon, Adriana Nicolae, Best proximity pair results for relatively nonexpansive mappings in geodesic spaces
Numerical Functional
Analysis and Optimization 35 (2014), 13991418.
 Marius Buliga, Graphic lambda calculus,
Complex Systems 22 (2013), 311360.
 Adriana Nicolae, Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces,
Nonlinear Analysis  Theory, Methods &
Applications 87 (2013), 102115.
 Aurora FernandezLeon, Adriana Nicolae, Averaged alternating reflections in geodesic spaces,
Journal of Mathematical Analysis
and Applications 402 (2013), 558566.
 Ulrich Kohlenbach, Laurențiu Leuștean, On the computational content of convergence proofs via Banach limits,
Philosophical Transactions of the Royal Society A 370 (2012), No. 1971, 34493463
Theme Issue The foundations
of computation, physics and mentality: the Turing legacy.
 Ulrich Kohlenbach, Laurențiu Leuștean, Effective metastability of Halpern iterates in CAT(0) spaces,
Advances in Mathematics 231 (2012),
25262556.
 Laurențiu Leuștean (joint work with Ulrich Kohlenbach), Recent developments in proof mining,
Mathematisches Forschungsinstitut Oberwolfach,
Report No. 52/2011, 29822984.
Accepted for publication
Preprints
 Andrei Sipoș, Proof mining in L^{p} spaces,
arXiv:1609.02080 [math.LO], 2016.
 Laurențiu Leuștean, Adriana Nicolae, Alexandru Zaharescu,
Barycenters in uniformly convex geodesic spaces,
arXiv:1609.02589 [math.MG], 2016.
 Marius Buliga, Geometric Ruzsa triangle inequality in metric spaces with dilations,
arXiv:1304.3358 [math.CO], 2016.
 Andrei Sipoș, Ultraproducts and uniform
rates of asymptotic regularity and metastability, 2015.
 Marius Buliga, Subriemannian geometry from
intrinsic viewpoint,
arXiv:1206.3093v1 [math.MG], 2012.
Workshops/Conferences/Scientific seminars organized
Conference and Seminar Talks
 Laurențiu Leuștean, Proof mining and applications,
Middlesex University London, 19.09.2016.
 Andrei Sipoș, Proof mining and positivebounded logic,
Colloquium Logicum 2016, Hamburg, 10  12.09.2016.
 Andrei Sipoș, Proof mining and positivebounded logic,
Logic Colloquium 2016, Leeds, 31.07.  06.08.2016.
 Andrei Sipoș, Effective results on algorithms using strict pseudocontractions,
IMUS Analysis Seminar, University of Seville, 30.06.2016.
 Andrei Sipoș, Proof mining and families of mappings,
PhDs in Logic VIII,
Darmstadt, 09  11.05.2016.
 Andrei Sipoș, Codensity and Stone spaces,
Logic Colloquium 2015, Helsinki, 03  08.08 2015.
 Andrei Sipoș, Codensity and Stone spaces,
Special Session Logic in Computer Science,
The Eighth Congress of Romanian Mathematicians, Iași, 26.06  01.07 2015.
 Laurențiu Leuștean, Proof theoretic methods in nonlinear analysys III. Quantitative
results on Fejer monotone sequences,
Oberwolfach Workshop 1147: Mathematical Logic: Proof Theory,
Type Theory and
Constructive Mathematics,
Mathematisches Forschungsinstitut Oberwolfach, 16  22.11.2014.
 Laurențiu Leuștean, An invitation to proof mining,
Topics in Geometric Group Theory, Bucharest, 29.09  05.10 2014.
 Laurențiu Leuștean, Effective results on the asymptotic behavior of nonexpansive iterations,
Logic Colloquium 2014, Vienna, 14.07  19.07.2014.
Abstract appeared in Bulletin of Symbolic Logic 21 (2015), No. 1, p. 79.
 Laurențiu Leuștean, An invitation to proof mining II (Effective results on the mean ergodic theorem),
Logic in Computer Science Seminar,
University of Bucharest, 22.05.2014.
 Laurențiu Leuștean, An invitation to proof mining I,
Logic in Computer Science Seminar,
University of Bucharest, 16.05.2014.
 Laurențiu Leuștean, Effective methods in geodesic spaces,
IRTG 1529 Research Seminar
"Proof Mining and Nonlinear Analysis", Technische Universität Darmstadt, 26.02  28.02.2014.
 Laurențiu Leuștean, Proof mining and applications in nonlinear ergodic theory,
Anniversary Conference "Faculty of Sciences  150 years",
University of Bucharest, 29.08  01.09.2013.
 Laurențiu Leuștean, Effective methods in geodesic spaces,
Workshop on Operator Theory in Metric Spaces, Sevilla, 03  04.04.2013.
 Adriana Nicolae, Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces,
Workshop on Operator Theory in Metric Spaces, Sevilla, 03  04.04.2013.
 Laurențiu Leuștean, Proof mining in nonlinear analysis,
Logic Seminar,
Technische Universität Darmstadt, 09.11.2012.
 Adriana Nicolae, Reflecting in classes of geodesic spaces,
IMUS Analysis Seminar, University of Seville, 23.10.2012.
 Laurențiu Leuștean, Firmly nonexpansive mappings in classes of geodesic spaces,
Invited Session: Variational inequalities and optimization problems on Riemannian manifolds,
21st International Symposium on Mathematical Programming (ISMP 2012), Berlin,
19  24.08.2012.
 Laurențiu Leuștean, Recent developments in proof mining,
Oberwolfach Workshop 1145: Mathematical Logic: Proof Theory, Type Theory and
Constructive Mathematics,
Mathematisches Forschungsinstitut Oberwolfach, 06  12.11.2011.
Participations in Summer Schools
