Proof mining in $\mathbb{R}$-trees and hyperbolic spaces

Laurentiu Leustean

This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting…