Projektdetails
| Status | Abgeschlossen |
|---|---|
| Tatsächliches Beginn-/Enddatum | 01.02.2015 → 30.04.2017 |
Projektbeteiligte
- Johannes Kepler Universität Linz (Leitung)
- RISC Software GmbH (Projektpartner*in)
Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101020 Technische Mathematik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Digital Transformation