Grant CNCS-UEFISCDI
Proof mining in
metric analysis, geometric group theory and ergodic theory
Project Code: PN-II-ID-PCE-2011-3-0383
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
- Laurentiu Leustean, Adriana Nicolae, A note on an ergodic theorem in weakly uniformly convex geodesic
spaces,
Archiv der Mathematik 105 (2015), 467-477.
- Daniel Ivan, Laurentiu Leustean, A rate of asymptotic regularity for the Mann iteration of k-strict pseudo-contractions,
Numerical Functional Analysis and Optimization 36 (2015), 792-798
- Laurentiu Leustean (joint work with Ulrich Kohlenbach and Adriana Nicolae), Proof-theoretic
methods in nonlinear analysis III: Quantitative results on Fejer monotone sequences,
Mathematisches Forschungsinstitut Oberwolfach,
Report No. 52/2014 , 28-29.
- David Ariza-Ruiz, Laurentiu Leustean, Genaro Lopez-Acedo,
Firmly nonexpansive mappings in classes of geodesic spaces,
Transactions of the American Mathematical Society 366 (2014), 4299-4322.
- Ulrich Kohlenbach,
Addendum to "Effective metastability of Halpern iterates in CAT(0) spaces" [Adv.Math. 231 (5) (2012) 2526-2556],
Advances in Mathematics 250 (2014) 650-651.
- Laurentiu Leustean, Adriana Nicolae, Effective results on compositions of nonexpansive mappings,
Journal of Mathematical Analysis and Applications 410 (2014), 902-907.
- Aurora Fernandez Leon, Adriana Nicolae, Best proximity pair results for relatively nonexpansive mappings in geodesic spaces
Numerical Functional Analysis and Optimization 35 (2014), 1399-1418.
- Marius Buliga, Graphic lambda calculus,
Complex Systems 22 (2013), 311-360.
- Adriana Nicolae, Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces,
Nonlinear Analysis - Theory, Methods & Applications 87 (2013), 102-115.
- Aurora Fernandez-Leon, Adriana Nicolae, Averaged alternating reflections in geodesic spaces,
Journal of Mathematical Analysis and Applications 402 (2013), 558-566.
- Ulrich Kohlenbach, Laurentiu Leustean, On the computational content of convergence proofs via Banach limits,
Philosophical Transactions of the Royal Society A 370 (2012), No. 1971, 3449-3463
Theme Issue The foundations of computation, physics and mentality: the Turing legacy.
- Ulrich Kohlenbach, Laurentiu Leustean, Effective metastability of Halpern iterates in CAT(0) spaces,
Advances in Mathematics 231 (2012), 2526-2556.
- Laurentiu Leustean (joint work with Ulrich Kohlenbach), Recent developments in proof mining,
Mathematisches Forschungsinstitut Oberwolfach, Report No. 52/2011, 20-22.
Accepted for publication
Preprints
- Ulrich Kohlenbach, Laurentiu Leustean, Adriana Nicolae,
Quantitative results on Fejer monotone sequences,
arXiv:1412.5563v3 [math.LO], 2015
- Andrei Sipos, Codensity and Stone spaces, arXiv:1409.1370v3 [math.CT], 2015.
- Andrei Sipos, Ultraproducts and uniform rates of asymptotic regularity and metastability, 2015.
- Marius Buliga, Sub-riemannian geometry from intrinsic viewpoint,
arXiv:1206.3093v1 [math.MG], 2012.
Workshops/Conferences/ Scientific seminars organized
Conference and Seminar Talks
- Andrei Sipos, Codensity and Stone spaces, Logic Colloquium 2015, University of Helsinki, 03 - 08.08 2015.
- Andrei Sipos, Codensity and Stone spaces, Special Session Logic in Computer Science, The Eighth Congress of Romanian Mathematicians, 26.06 - 01.07 2015, Alexandru Ioan
Cuza University of Iasi.
- Laurentiu Leustean, 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, Germany, 16 - 22.11.2014.
- Laurentiu Leustean, An invitation to proof mining
Topics in Geometric Group Theory, IMAR, Bucharest, 29.09 - 05.10 2014.
- Laurentiu Leustean, 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.
- Laurentiu Leustean, An invitation to proof mining II (Effective results on the mean ergodic theorem)
Logic in Computer Science Seminar, University of Bucharest, 22.05.2014.
- Laurentiu Leustean, An invitation to proof mining I
Logic in Computer Science Seminar, University of Bucharest, 16.05.2014.
- Laurentiu Leustean, Effective methods in geodesic spaces
IRTG 1529 Research Seminar "Proof Mining and Nonlinear Analysis",
Technische Universität Darmstadt, 26.02 - 28.02.2014.
- Laurentiu Leustean, Proof mining and applications in nonlinear ergodic theory
Anniversary Conference "Faculty of Sciences - 150 years", University of Bucharest, 29.08 - 01.09.2013.
- Laurentiu Leustean, Effective methods in geodesic spaces
Workshop on Operator Theory in Metric Spaces, Department of Mathematical Analysis, Universidad de 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, Department of Mathematical Analysis, Universidad de Sevilla, 03 - 04.04.2013.
- Laurentiu Leustean, Proof mining in nonlinear analysis
Logic Seminar, Technische Universität Darmstadt, 9.11.2012.
- Adriana Nicolae, Reflecting in classes of geodesic spaces
Seminar of Mathematical Analysis of the University of Seville, Spain, 23.10.2012.
- Laurentiu Leustean, Firmly nonexpansive mappings in classes of geodesic spaces
21st International Symposium on Mathematical Programming (ISMP 2012), Berlin, Germany, 19 - 24.08.2012
Invited Session: Variational inequalities and optimization problems on Riemannian manifolds.
- Laurentiu Leustean, Recent developments in proof mining
Oberwolfach Workshop 1145: Mathematical Logic: Proof Theory, Type Theory and
Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach, Germany, 06 - 12.11.2011.
Participations in Summer Schools
|