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
-
Computer-assisted construction of Ramanujan-Sato series for 1 over pi
Hemmecke, R., Paule, P. & Radu, S., Jan 2025, 58 p. (RISC Report Series; no. 25-01).Research output: Working paper and reports › Research report
-
How to reconstruct a planar map from its branching curve
Hoxhaj, E. & Schicho, J., 2025, In: Math. Comp.. 94, p. 935-952 18 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A Formalization of the General Theory of Quaternions
de Lima, T. A., Galdino, A. L., De Oliveira Ribeiro, B. B., Ayala-Rincón, M., Bertot, Y., Kutsia, T. & Norrish, M., Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024). Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Dagstuhl, Germany, Vol. 309. p. 11:1--11:18 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 309).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
Activities
-
2+2=1 Richtig oder Falsch?
Hemmecke, R. (Speaker)
24 Mar 2025Activity: Talk or presentation › Invited talk › science-to-public
-
2+2=1? Wahr oder falsch?
Hemmecke, R. (Speaker)
19 Dec 2024Activity: Talk or presentation › Invited talk › science-to-public
-
Gennadi Malaschonok: Main features of computer algebra MathPartner
Schneider, C. (Organiser) & Malaschonok, G. (Organiser)
16 Dec 2024Activity: Participating in or organising an event › Organising a conference, workshop, ...