TY  - RPRT
TI  - ARQMath Lab: An Incubator for Semantic Formula Search in zbMATH Open?
AU  - Philipp Scharpf
AU  - Moritz Schubotz
AU  - Andre Greiner-Petter
AU  - Malte Ostendorff
AU  - Olaf Teschke
AU  - Bela Gipp
PY  - 2020
UR  - https://arxiv.org/abs/2012.02413
ID  - 2012.02413
ER  -