Lukas Pfahler, Katharina Morik. Semantic Search in Millions of Equations. In Rajesh Gupta 0001, Yan Liu 0002, Jiliang Tang, B. Aditya Prakash, editors, KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Virtual Event, CA, USA, August 23-27, 2020. pages 135-143, ACM, 2020. [doi]
Abstract is missing.