TY - RPRT TI - Tree Edit Distance with Variables. Measuring the Similarity between Mathematical Formulas AU - Tatsuya Akutsu AU - Tomoya Mori AU - Naotoshi Nakamura AU - Satoshi Kozawa AU - Yuhei Ueno AU - Thomas N. Sato PY - 2021 UR - https://arxiv.org/abs/2105.04802 ID - 2105.04802 ER -