authors
- Bercic, Katja
- Carette, Jacques
- Farmer, William Michael
- Kohlhase, Michael
- Müller, Dennis
- Rabe, Florian
- Sharoda, Yasmine
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
Preprints
- Overview
- Research
- Identity
- View All
Overview
publication date
- February 12, 2020