| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 02.2018 |
| Sprache | Englisch |
| Identifikator | ISSN: 0098-3500, 1557-7295 KITopen-ID: 1000081051 |
| HGF-Programm | 46.12.02 (POF III, LK 01) Data Activities |
| Erschienen in | ACM transactions on mathematical software |
| Verlag | Association for Computing Machinery (ACM) |
| Band | 44 |
| Heft | 3 |
| Seiten | 29:1–29:14 |
| Nachgewiesen in | OpenAlex Dimensions Web of Science Scopus |