TY - RPRT TI - Optimal Presentations of Mathematical Objects AU - Akshunna Shaurya Dogra PY - 2018 UR - https://arxiv.org/abs/1812.00972 ID - 1812.00972 ER -