The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 81 –
100 of
135
The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.
We develop the boundary theory of rough CAT(0) spaces, a class of length spaces that contains both Gromov hyperbolic length spaces and CAT(0) spaces. The resulting theory generalizes the common features of the Gromov boundary of a Gromov hyperbolic length space and the ideal boundary of a complete CAT(0) space. It is not assumed that the spaces are geodesic or proper
We show that for n ≥ 5, a length space (X; d) satisfies a rough n-point condition if and only if it is rough CAT(0). As a consequence, we show that the class of rough CAT(0) spaces is closed under reasonably general limit processes such as pointed and unpointed Gromov-Hausdorff limits and ultralimits.
Currently displaying 81 –
100 of
135