Projects per year
Organisation profile
Organisation profile
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.
Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101012 Combinatorics
- 101020 Technical mathematics
- 101 Mathematics
- 101009 Geometry
- 101005 Computer algebra
JKU Focus areas
- Digital Transformation
Profiles
-
Industrial problem solving using symbolic and subsymbolic AI
Schreiner, W. (PI), Schneider, C. (PI) & Seidl, M. (PI)
01.05.2025 → 31.10.2026
Project: Funded research › FFG - Austrian Research Promotion Agency
-
Symbolische Summation für Informatik
Schneider, C. (PI)
01.09.2024 → 31.08.2028
Project: Funded research › FWF - Austrian Science Fund
-
Symbolic Techniques for Quantitiative Extensions of Equality (SQUEE)
Kutsia, T. (PI)
01.04.2022 → 31.03.2026
Project: Funded research › FWF - Austrian Science Fund
-
Asymptotics for the reciprocal and shifted quotient of the partition function
Banerjee, K., Paule, P., Radu, S. & Schneider, C., 2025, (Accepted/In press) In: Research in Number Theory. 43 p.Research output: Contribution to journal › Article
-
A Unified Reduction for Hypergeometric and $q$-Hypergeometric Creative Telescoping
Chen, S., Du, H., Gao, Y., Huang, H. & Li, Z., Sept 2025, In: Ramanujan Journal. 68, 1, 31 p., 14.Research output: Contribution to journal › Article
-
Combining Generalization Algorithms in Regular Collapse-Free Theories
Ayala-Rincón, M., Cerna, D., Kutsia, T. & Ringeissen, C., 07 Jul 2025, Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Fernandez, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 337. p. 7:1-7:18 18 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings
Open Access
Activities
-
ÖMG - DMV Jahrestagung
Kauers, M. (Other), Pillichshammer, F. (Other), Windsteiger, W. (Other) & Koutschan, C. (Other)
01 Sept 2025 → 05 Sept 2025Activity: Other
-
2+2=1 Richtig oder Falsch?
Hemmecke, R. (Speaker)
24 Mar 2025Activity: Talk or presentation › Invited talk › science-to-public
-
Symbolic Constraints and Quantitative Extensions of Equality
Kutsia, T. (Speaker)
26 Feb 2025Activity: Talk or presentation › Invited talk › science-to-science
Prizes
-
Kepler Awards for Excellence in Teaching
Langgruber, P. (Recipient) & Windsteiger, W. (Recipient), 24 Apr 2025
Prize: Prize, award or honor