Reviews for Mathematical Reviews (AMS) of the papers:

• Sipoş, Andrei: Proof mining in $L^p$ spaces. J. Symb. Log. 84 (2019), no. 4, 1612-1629.
• Kohlenbach, Ulrich: Proof-theoretic methods in nonlinear analysis. Proceedings of the International Congress of Mathematicians, Rio de Janeiro 2018. Vol. II. Invited lectures, 61 --82, World Sci. Publ., Hackensack, NJ, 2018.
• Peng, Weiguang and Yamazaki, Takeshi : Two kinds of fixed point theorems and reverse mathematics. MLQ Math. Log. Q. 63 (2017), no. 5, 454-461.
• Sanders, Sam: The computational content of nonstandard analysis. Proceedings of the Sixth International Workshop on Classical Logic and Computation, 24-40, Electron. Proc. Theor. Comput. Sci. (EPTCS), 2016.
• Leuştean, Laurenţiu and Nicolae, Adriana: Effective results on nonlinear ergodic averages in CAT $(\kappa)$ spaces. Ergodic Theory Dynam. Systems 36 (2016), no. 8, 2580--2601.
• Sipoş, Andrei: Effective results on a fixed point algorithm for families of nonlinear mappings. Ann. Pure Appl. Logic 168 (2017), no. 1, 112--128.
• Setzer, Anton: The use of trustworthy principles in a revised Hilbert's program. Gentzen's centenary, 45-60, Springer, Cham, 2015.
• Leitsch, Alexander: On proof mining by cut-elimination. All about proofs, proofs for all, 173-200, Stud. Log. (Lond.), 55, Math. Logic Found., Coll. Publ., London, 2015.