1 code implementation • 20 Sep 2020 • Nina Lebedeva, Anton Petrunin
We give another proof of Toyoda's theorem that describes 5-point subpaces in CAT(0) length spaces
Metric Geometry Differential Geometry 53C23, 30L15, 51F99
1 code implementation • 26 Nov 2017 • Nina Lebedeva, Anton Petrunin, Vladimir Zolotov
We define a new type of metric comparison similar to the comparison of Alexandrov.
Differential Geometry Metric Geometry 53C20, 30L99, 46B85, 53C45, 51K10