TY  - RPRT
TI  - The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
AU  - Katja Bercic
AU  - Jacques Carette
AU  - William M. Farmer
AU  - Michael Kohlhase
AU  - Dennis Müller
AU  - Florian Rabe
AU  - Yasmine Sharoda
PY  - 2020
UR  - https://arxiv.org/abs/2002.04955
ID  - 2002.04955
ER  -