Projekte pro Jahr
Organisationsprofil
Organisationsprofil
The primary goals of RISC are
research,
education, and
industrial cooperations
in the field of symbolic computation. These goals are based on the conviction that, in computer science, symbolic computation is one of the most exciting theoretical areas that needs profound formal mathematical training and extensive systems training and opens some of the most promising directions for future software industry. A complete up-to-date listing of publications with online versions of freely available papers for download can be found at the institute's webpage.
Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101020 Technische Mathematik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Digital Transformation
-
TaxoLogic: Explainable Hybrid Artificial Intelligence for Transfer Pricing
Windsteiger, W. (Projektleiter*in)
01.03.2026 → 28.02.2029
Projekt: Geförderte Forschung › FFG - Österreichische Forschungsförderungsgesellschaft
-
Weitere Optimierungsmethoden für kontrollierte Warteschlangensysteme auf der Grundlage künstlicher Intelligenz
Efrosinin, D. (Projektleiter*in), Stepanova, N. (Forscher*in), Mallinger, A. (Forscher*in), Schreiner, W. (Forscher*in), Sztrik, J. (Forscher*in), Gal, Z. (Projektleiter*in), Talbi, D. (Forscher*in) & Filep, L. (Forscher*in)
01.01.2026 → 31.12.2026
Projekt: Geförderte Forschung › Andere Geldgeber
-
Combining Generalization Algorithms
Kutsia, T. (Forscher*in)
01.01.2026 → 31.12.2027
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 24 Juli 2026, Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I. Biere, A., Lutz, C. & Negri, S. (Hrsg.). 1 Aufl. Springer, Cham, S. 175-193 19 S. (Lecture Notes in Computer Science; Band 16688 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access -
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C., Kaufmann, D. & Chen, C., 10 März 2026, arXiv, 23 S. (arXiv.org; Nr. 2603.09501).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
Open Access -
Equational Generalization Problems with Atom-Variables
Baumgartner, A., Kutsia, T., Nantes-Sobrinho, D. & Schmidt-Schauss, M., 2026, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. de Paiva, V. & Koepke, P. (Hrsg.). 1 Aufl. Springer, S. 133-151 19 S. (Lecture Notes in Computer Science; Band 16136 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Aktivitäten
-
Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
Hofstadler, C. (Vortragende*r)
29 Juli 2026Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
40th International Workshop on Unification (Veranstaltung)
Kutsia, T. (Mitglied)
24 Juli 2026Aktivität: Mitgliedschaft/Funktion › Programm-Komitee
-
Definition-based dependency schemes
Kattermann, D. (Vortragende*r), Seidl, M. (Mitwirkende*r) & Hofstadler, C. (Mitwirkende*r)
22 Juli 2026Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
Auszeichnungen
-
1. Ehrendoktorat: University of Nijmegen
Buchberger, B. (Empfänger*in), 1995
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
2. Ehrendoktorat: University of Timisoara
Buchberger, B. (Empfänger*in), 2000
Auszeichnung: Preis, Auszeichnung oder Ehrung
-
3. Ehrendoktorat: University of Bath
Buchberger, B. (Empfänger*in), 2005
Auszeichnung: Preis, Auszeichnung oder Ehrung