Philipp Scharpf, Moritz Schubotz, André Greiner-Petter, Malte Ostendorff, Olaf Teschke, Bela Gipp. ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?. In Linda Cappellato, Carsten Eickhoff, Nicola Ferro 0001, Aurélie Névéol, editors, Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020. Volume 2696 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]