Kohlenbach, Ulrich Proof-theoretic methods in nonlinear analysis. (English) Zbl 1445.03062 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 61-82 (2018). MSC: 03F10 03F35 47H10 47H20 47H25 PDFBibTeX XMLCite \textit{U. Kohlenbach}, in: Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 61--82 (2018; Zbl 1445.03062) Full Text: DOI Link
Kohlenbach, U.; Nicolae, A. A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces. (English) Zbl 1420.03140 Stud. Log. 105, No. 3, 611-624 (2017). MSC: 03F10 53C22 58D17 PDFBibTeX XMLCite \textit{U. Kohlenbach} and \textit{A. Nicolae}, Stud. Log. 105, No. 3, 611--624 (2017; Zbl 1420.03140) Full Text: DOI
Sipoş, Andrei Effective results on a fixed point algorithm for families of nonlinear mappings. (English) Zbl 1422.03123 Ann. Pure Appl. Logic 168, No. 1, 112-128 (2017). MSC: 03F10 03F60 47J25 47H09 PDFBibTeX XMLCite \textit{A. Sipoş}, Ann. Pure Appl. Logic 168, No. 1, 112--128 (2017; Zbl 1422.03123) Full Text: DOI arXiv
Leuştean, Laurenţiu; Radu, Vlad; Sipoş, Andrei Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions. (English) Zbl 1381.47054 J. Nonlinear Convex Anal. 17, No. 11, 2277-2292 (2016). MSC: 47J25 47H09 03F10 PDFBibTeX XMLCite \textit{L. Leuştean} et al., J. Nonlinear Convex Anal. 17, No. 11, 2277--2292 (2016; Zbl 1381.47054) Full Text: arXiv Link
Finkel, Olivier Infinite games specified by 2-tape automata. (English) Zbl 1422.03113 Ann. Pure Appl. Logic 167, No. 12, 1184-1212 (2016). MSC: 03E60 03E35 03D05 68Q45 68Q15 68Q17 03E15 PDFBibTeX XMLCite \textit{O. Finkel}, Ann. Pure Appl. Logic 167, No. 12, 1184--1212 (2016; Zbl 1422.03113) Full Text: DOI arXiv
Ivan, Daniel; Leuştean, Laurenţiu A rate of asymptotic regularity for the Mann iteration of \(\kappa\)-strict pseudo-contractions. (English) Zbl 1334.47063 Numer. Funct. Anal. Optim. 36, No. 6, 792-798 (2015). Reviewer: Daniel Körnlein (Darmstadt) MSC: 47J25 47H09 03F10 PDFBibTeX XMLCite \textit{D. Ivan} and \textit{L. Leuştean}, Numer. Funct. Anal. Optim. 36, No. 6, 792--798 (2015; Zbl 1334.47063) Full Text: DOI arXiv
Ariza-Ruiz, David; Leuştean, Laurenţiu; López-Acedo, Genaro Firmly nonexpansive mappings in classes of geodesic spaces. (English) Zbl 1524.47056 Trans. Am. Math. Soc. 366, No. 8, 4299-4322 (2014). MSC: 47H09 47J26 03F10 54H25 PDFBibTeX XMLCite \textit{D. Ariza-Ruiz} et al., Trans. Am. Math. Soc. 366, No. 8, 4299--4322 (2014; Zbl 1524.47056) Full Text: DOI arXiv
Ziegler, Martin Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra. (English) Zbl 1259.03059 Ann. Pure Appl. Logic 163, No. 8, 1108-1139 (2012). Reviewer: Daniel Graça (Faro) MSC: 03D78 03D45 03D15 68Q17 65F99 PDFBibTeX XMLCite \textit{M. Ziegler}, Ann. Pure Appl. Logic 163, No. 8, 1108--1139 (2012; Zbl 1259.03059) Full Text: DOI
Kohlenbach, Ulrich A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. (English) Zbl 1245.03093 Commun. Contemp. Math. 14, No. 1, 1250006, 20 p. (2012). Reviewer: Henry Towsner (Los Angeles) MSC: 03F10 47H25 PDFBibTeX XMLCite \textit{U. Kohlenbach}, Commun. Contemp. Math. 14, No. 1, 1250006, 20 p. (2012; Zbl 1245.03093) Full Text: DOI
Gerhardy, Philipp; Kohlenbach, Ulrich General logical metatheorems for functional analysis. (English) Zbl 1130.03036 Trans. Am. Math. Soc. 360, No. 5, 2615-2660 (2008). MSC: 03F10 03F35 47H09 47H10 PDFBibTeX XMLCite \textit{P. Gerhardy} and \textit{U. Kohlenbach}, Trans. Am. Math. Soc. 360, No. 5, 2615--2660 (2008; Zbl 1130.03036) Full Text: DOI
Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo Description of the connected components of a semi-algebraic set in single exponential time. (Description des composantes connexes d’un ensemble semialgébrique en temps simplement exponentiel.) (French) Zbl 0764.14024 C. R. Acad. Sci., Paris, Sér. I 313, No. 4, 167-170 (1991). Reviewer: J.M.Ruiz (Madrid) MSC: 14Q20 14P10 68Q25 03C10 PDFBibTeX XMLCite \textit{J. Heintz} et al., C. R. Acad. Sci., Paris, Sér. I 313, No. 4, 167--170 (1991; Zbl 0764.14024)
van den Dries, Lou Algorithms and bounds for polynomial rings. (English) Zbl 0461.13015 Logic colloquium ’78, Proc., Mons/Belgium 1978, Stud. Logic Found. Math., Vol. 97, 147-157 (1979). MSC: 13L05 13F20 03C60 03H15 PDFBibTeX XML