Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101020 Technische Mathematik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Digital Transformation
Fifteenth Conference on Interactive Theorem Proving, ITP 2024 (Veranstaltung)
- Kutsia, T. (Vorsitzende*r)
- et al. (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee