-
A DSL for Specifying a Class of Industrial Optimisation Problems
Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 p. (RISC Report Series; vol. 25-12).Research output: Working paper and reports › Research report
Open Access -
Gray-Box Proving in Theorema
Windsteiger, W., 2024, 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024). Kamareddine, F., Marin, M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 82-89 8 p. (Proceedings - 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Gray-Box Proving in Theorema
Windsteiger, W., Jul 2024, Hagenberg, Linz: RISC, JKU, 8 p. (RISC Report Series; no. 24-07).Research output: Working paper and reports › Preprint
-
Learning to Reason Assisted by Automated Reasoning
Windsteiger, W., 2022, Intelligent Computer Mathematics: 15th International Conference. Buzzard, K. & Kutsia, T. (eds.). Springer, p. 305-320 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13467 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review
-
Automated Theorem Proving in the Classroom
Windsteiger, W., Aug 2021, Hagenberg, Linz: RISC, JKU, 18 p. (RISC Report Series; no. 21-15).Research output: Working paper and reports › Preprint
Projects
- 1 Finished
-
Puzzle-Roboter
Windsteiger, W. (PI)
01.10.2019 → 29.02.2020
Project: Funded research › Federal / regional / local authorities
Activities
-
Kepler Award 2025 for best teaching at JKU
Windsteiger, W. (Speaker)
10 Nov 2025Activity: Talk or presentation › Other talk or presentation › science-to-science
-
ÖMG - DMV Jahrestagung
Kauers, M. (Other), Pillichshammer, F. (Other), Windsteiger, W. (Other) & Koutschan, C. (Other)
01 Sept 2025 → 05 Sept 2025Activity: Other
-
Digital Elections (@JKU)
Windsteiger, W. (Speaker)
20 Jan 2025Activity: Talk or presentation › Other talk or presentation › science-to-public
-
Gray-Box Proving in Theorema
Windsteiger, W. (Speaker)
17 Sept 2024Activity: Talk or presentation › Contributed talk › science-to-science
-
Hybrid Modularized Mathematics Courses with Self-Checks
Windsteiger, W. (Speaker)
28 Jun 2024Activity: Talk or presentation › Contributed talk › science-to-science
Prizes
-
Kepler Award 2024 for the course "Logic", co-lectured by the institutes RISC (Wolfgang Schreiner and Wolfgang Windsteiger) and SAI (Martina Seidl)
Schreiner, W. (Recipient), Windsteiger, W. (Recipient) & Seidl, M. (Recipient), 2024
Prize: Prize, award or honor
-
Kepler-Award for best teaching in category "Ars Docendi" for Wolfgang Windsteiger
Windsteiger, W. (Recipient), 2025
Prize: Prize, award or honor
-
Kepler Awards for Excellence in Teaching
Langgruber, P. (Recipient) & Windsteiger, W. (Recipient), 24 Apr 2025
Prize: Prize, award or honor