@misc{indiciae4b0ed9c53736,
  title = {The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems},
  author = {Katja Bercic and Jacques Carette and William M. Farmer and Michael Kohlhase and Dennis Müller and Florian Rabe and Yasmine Sharoda},
  year = {2020},
  url = {https://arxiv.org/abs/2002.04955},
  note = {Source identifier: 2002.04955}
}