TY - RPRT TI - A 15-vertex triangulation of the quaternionic projective plane AU - Denis Gorodkov PY - 2016 DO - 10.1007/s00454-018-00055-w UR - https://arxiv.org/abs/1603.05541 ID - 1603.05541 ER -