Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces (Q4917991): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:42, 8 February 2024

scientific article; zbMATH DE number 6160407
Language Label Description Also known as
English
Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces
scientific article; zbMATH DE number 6160407

    Statements

    Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces (English)
    0 references
    3 May 2013
    0 references
    proof mining
    0 references
    hyperbolic spaces
    0 references
    \(\mathbb{R}\)-trees
    0 references
    uniformly convex
    0 references
    asymptotic regularity
    0 references
    nonexpansive functions
    0 references

    Identifiers