Pages that link to "Item:Q2363506"
From MaRDI portal
The following pages link to A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506):
Displaying 4 items.
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- Nonexpansive maps in nonlinear smooth spaces (Q6597537) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)