CAT(0) 공간에서 6개 점에 대한 부등식

본 논문에서는 CAT(0) 공간에서 성립하는 새로운 부등식들을 제시하고, 이 부등식들이 CAT(0) 공간의 5개 점 부분집합의 성질만으로는 유도될 수 없음을 증명합니다.