TY - RPRT TI - Gradient flows and a Trotter--Kato formula of semi-convex functions on CAT(1)-spaces AU - Shin-ichi Ohta AU - Miklós Pálfia PY - 2016 UR - https://arxiv.org/abs/1411.1461 ID - 1411.1461 ER -