Links for giorgi-kerelashvili-library